$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Example Suppose we are given a commutative diagram of simplicial sets

\begin{equation} \label{diagram:homotopy-pullback-square3} \begin{gathered} \xymatrix@R =50pt@C=50pt{ Y \ar [r] \ar [d] & X \ar [d]^{f} \\ T \ar [r] & S, } \end{gathered}\end{equation}

where $f$ is a Kan fibration. Then (3.42) is a homotopy pullback square if and only if the induced map $Y \rightarrow T \times _{S} X$ is a weak homotopy equivalence. In particular, if (3.42) is a pullback diagram, then it is also a homotopy pullback diagram. Beware that this conclusion is generally false if $f$ is not a Kan fibration.