# Kerodon

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

Proposition 4.5.8.2. Let $X$ and $Y$ be simplicial sets, and let $c: X \times \Delta ^1 \times Y \rightarrow X \star Y$ denote the collapse map of Construction 4.5.8.1. Then the commutative diagram of simplicial sets

4.44
$$\begin{gathered}\label{equation:diagram-of-collapse} \xymatrix@R =50pt@C=50pt{ (X \times \{ 0 \} \times Y) \coprod (X \times \{ 1\} \times Y) \ar [r] \ar [d]^{\pi _{X} \coprod \pi _{Y}} & X \times \Delta ^1 \times Y \ar [d]^{c} \\ ( X \times \{ 0\} ) \coprod ( \{ 1\} \times Y ) \ar [r]^-{( \iota _{X}, \iota _{Y} )} & X \star Y} \end{gathered}$$

is a categorical pushout square.