Subject: square of fibrations in a model category
Date: Wed, 22 Oct 2003 17:45:16 +0200 (CEST)
From: Philippe Gaucher <gaucher@pps.jussieu.fr>
To: Don Davis <dmd1@lehigh.edu>

Question for the mailing list:

I have a commutative square of fibrations with both horizontal morphisms
which are weak equivalences. So I have something like that :

B----->C
^      ^
|      |
|      |
A----->D

In my case, I can prove that the morphism A --> B \times_{C} D is then a
fibration. My question is: is it general for any model category ?

pg.