# Homotopy pullback preserving functor

In the paper http://arxiv.org/pdf/math/0101162.pdf, the authors claim during the proof of Prop. 4.2 that a functor $F:A \to B$ which preserves fibrations and weak equivalences preserves homotopy cartesian squares. It seems to me that without asking it to commute with ordinary pullbacks the claim is false.

Moreover, it is also stated that the induced functor $A^C \to B^C$, where $C$ is a Reedy category, preserves Reedy fibration. Again, I think it has to commute with pullbacks (e.g. a right Quillen would satisfy everything of the above for fibrant objects).

Am I right or am I missing something? Thanks in advance for any help.

• Concerning the first claim, I don't see any problem, a square is a homotopy pull-back iff the induced map between homotopy fibers of parallel arrows is a weak equivalence. – Fernando Muro May 24 '15 at 21:44
• @FernandoMuro, the proposition in the paper says that the functor preserves fibrations in the model structure, not fibre sequences. – AAK May 24 '15 at 21:49
• @AdeelKhan if it preserves fibrations and weak equivalences, then it preserves homotopy fiber sequences. – Fernando Muro May 24 '15 at 21:53
• @FernandoMuro The last thing you said is false: take a constant function to a non terminal object – Denis Nardin May 25 '15 at 4:38
• Denis thanks, now I understand Edoardo's and Adeel's concern. I agree with Edoardo that I wouldn't be able to prove the claim without asking that the functor preserves pull backs. – Fernando Muro May 25 '15 at 6:35