# Kerodon

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

Proposition 4.5.3.6 (Homotopy Invariance). Suppose we are given a commutative diagram of simplicial sets

$\xymatrix@C =50pt{ A \ar [rr] \ar [dd] \ar [dr]^-{w_ A} & & B \ar [dd] \ar [dr]^-{ w_{B} } & \\ & A' \ar [rr] \ar [dd] & & B' \ar [dd] \\ C \ar [rr] \ar [dr]^-{ w_ C} & & D \ar [dr]^-{w_ D} & \\ & C' \ar [rr] & & D', }$

where the morphisms $w_{A}$, $w_{B}$, and $w_ C$ are categorical equivalences. Then any two of the following three conditions imply the third:

$(1)$

The commutative diagram

$\xymatrix@R =50pt@C=50pt{ A \ar [r] \ar [d] & B \ar [d] \\ C \ar [r] & D }$

is a categorical pushout square.

$(2)$

The commutative diagram

$\xymatrix@R =50pt@C=50pt{ A' \ar [r] \ar [d] & B' \ar [d] \\ C' \ar [r] & D' }$

is a categorical pushout square.

$(3)$

The morphism $w_{D}$ is a categorical equivalence.