Kerodon

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

Proposition 4.3.5.14. Let $f: K \rightarrow X$ be a morphism of simplicial sets, and let $c: X_{/f} \star K \rightarrow X$ be the slice contraction morphism of Construction 4.3.5.13. Then, for any simplicial set $Y$, postcomposition with $c$ induces a bijection

\[ \theta _{Y}: \operatorname{Hom}_{\operatorname{Set_{\Delta }}}( Y, X_{/f} ) \rightarrow \{ \textnormal{Morphisms $\overline{f}: Y \star K \rightarrow X$ satisfying $\overline{f}|_{K} = f$} \} \]

Similarly, postcomposition with the coslice contraction morphism $c': K \star X_{f/} \rightarrow X$ induces a bijection

\[ \theta '_{Y}: \operatorname{Hom}_{\operatorname{Set_{\Delta }}}( Y, X_{f/} ) \rightarrow \{ \textnormal{Morphisms $\overline{f}: K \star Y \rightarrow X$ satisfying $\overline{f}|_{K} = f$} \} . \]

Proof. In the case where $Y$ is a standard simplex, both assertions follow immediately from the definition of the simplicial sets $X_{/f}$ and $X_{f/}$. Since every simplicial set can be realized as a colimit of simplices (Corollary 1.1.8.17), it will suffice to show that the constructions $Y \mapsto \theta _{Y}$ and $Y \mapsto \theta '_{Y}$ carry colimits of simplicial sets to limits in the arrow category $\operatorname{Fun}([1], \operatorname{Set})$. This follows from the observation that the functors

\[ \operatorname{Set_{\Delta }}\rightarrow (\operatorname{Set_{\Delta }})_{K/} \quad \quad Y \mapsto Y \star K, Y \mapsto K \star Y \]

preserve small colimits (see Remark 4.3.3.26). $\square$