Re: name for a concept

In my previous message, one should read: a commutative square with two parallel fibrations in a right proper model category is a homotopy pullback if and only if the square is exact with respect to the class of weak equivalences. These special squares compose because weak equivalences are stable under base change along fibrations (this is the definition of right proper). Clemens Berger.