Exercise 1.3.16. Consider a commutative square

Commutative diagram generated from the LaTeX source

and assume that \(h\) is an equivalence. Show that \(g\) is an equivalence if and only if the square is a pullback square.

Generated from the authoritative LaTeX source.