# Kerodon

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

Remark 5.1.3.7. Let $q: Y \rightarrow S$ be a morphism of simplicial sets. Then the construction $X \mapsto \operatorname{Fun}_{/S}(X,Y)$ carries colimits in the slice category $( \operatorname{Set_{\Delta }})_{/S}$ to limits in the category of simplicial sets. In particular, $\operatorname{Fun}_{/S}( \emptyset , Y)$ can be identified with the $0$-simplex $\Delta ^{0}$.