# Kerodon

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

Lemma 5.2.3.16. Suppose we are given a commutative diagram of simplicial sets

$\xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}\ar [r]^-{F} \ar [d]^{U} & \operatorname{\mathcal{D}}\ar [d]^{V} \\ \operatorname{\mathcal{C}}' \ar [r]^-{F'} & \operatorname{\mathcal{D}}', }$

so that $U$ and $V$ induce a morphism $W: \operatorname{\mathcal{C}}\star _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{C}}' \star _{\operatorname{\mathcal{D}}'} \operatorname{\mathcal{D}}'$. Let $e$ be an edge of the simplicial set $\operatorname{\mathcal{C}}\star _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}$ satisfying the following conditions:

$(1)$

If $e$ is contained in $\operatorname{\mathcal{C}}$, then it is $U$-cocartesian when viewed as an edge of $\operatorname{\mathcal{C}}$.

$(2)$

The image of $e$ under the map

$\rho : \operatorname{\mathcal{C}}\star _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{D}}\star _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}\simeq \Delta ^1 \times \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{D}}$

is $V$-cocartesian.

Then $e$ is $W$-cocartesian.

Proof. Let $n \geq 2$ be an integer and suppose we are given a lifting problem

5.23
$$\begin{gathered}\label{equation:cocartesian-in-relative-join} \xymatrix@R =50pt@C=50pt{ \Lambda ^{n}_{0} \ar [r]^-{\sigma _0} \ar [d] & \operatorname{\mathcal{C}}\star _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}\ar [d]^-{W} \\ \Delta ^{n} \ar@ {-->}[ur]^{\sigma } \ar [r]^-{ \sigma ' } & \operatorname{\mathcal{C}}' \star _{\operatorname{\mathcal{D}}'} \operatorname{\mathcal{D}}',} \end{gathered}$$

where $\sigma _0$ carries $\operatorname{N}_{\bullet }( \{ 0 < 1 \} ) \subseteq \Lambda ^{n}_{0}$ to the edge $e$. If $\sigma '$ is contained in the simplicial subset $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}' \star _{\operatorname{\mathcal{D}}'} \operatorname{\mathcal{D}}'$, then the lifting problem (5.23) admits a solution by virtue of assumption $(1)$. Let us therefore assume that $\sigma '$ is not contained in $\operatorname{\mathcal{C}}'$. Let $\rho : \operatorname{\mathcal{C}}\star _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{D}}$ be as in $(2)$, and define $\rho ': \operatorname{\mathcal{C}}' \star _{\operatorname{\mathcal{D}}'} \operatorname{\mathcal{D}}' \rightarrow \operatorname{\mathcal{D}}'$ similarly. Unwinding the definitions, we can rewrite (5.23) as a lifting problem

$\xymatrix@R =50pt@C=50pt{ \Lambda ^{n}_{0} \ar [r]^-{\rho \circ \sigma _0} \ar [d] & \operatorname{\mathcal{D}}\ar [d]^-{V} \\ \Delta ^{n} \ar@ {-->}[ur] \ar [r]^-{\rho ' \circ \sigma ' } & \operatorname{\mathcal{D}}',}$

which admits a solution by virtue of assumption $(2)$. $\square$