Exercise 2.1.7. Formulate and prove the homotopy invariance of homotopy pullbacks, dual to Exercise 2.1.4.

Generated from the authoritative LaTeX source.