Kerodon

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

Remark 11.5.0.50. Suppose we are given a commutative diagram of simplicial sets

11.7
\begin{equation} \label{diagram:homotopy-pushout-square2} \begin{gathered} \xymatrix@R =50pt@C=50pt{ A \ar [r]^-{f} \ar [d] & B \ar [d] \\ C \ar [r] & D. } \end{gathered} \end{equation}

Using Exercise 3.1.7.11, we can factor $f$ as a composition $A \xrightarrow {f'} B' \xrightarrow {w} B$, where $f'$ is a monomorphism and $w$ is a weak homotopy equivalence (in fact, we can even arrange that $w$ is a trivial Kan fibration). Combining Propositions 3.4.2.11 and 3.4.2.9, we conclude that diagram (11.7) is a homotopy pushout square if and only if the induced map $u: C \coprod _{A} B' \rightarrow D$ is a weak homotopy equivalence. In particular, the condition that $u$ is a weak homotopy equivalence does not depend on the choice of factorization $f = w \circ f'$.