# Kerodon

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

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

3.49
$$\label{diagram:homotopy-pushout-square2} \begin{gathered} \xymatrix { A \ar [r]^{f} \ar [d] & B \ar [d] \\ C \ar [r] & D. } \end{gathered}$$

Using Exercise 3.1.6.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.6 and 3.4.2.4, we conclude that diagram (3.49) is homotopy coCartesian 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'$.