Subject: square of fibrations in a model category
Date: Wed, 22 Oct 2003 17:45:16 +0200 (CEST)
From: Philippe Gaucher
To: Don Davis
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.