Kerodon

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

Remark 1.1.5.13. The fully faithful embedding

\[ \operatorname{Set}\hookrightarrow \operatorname{Set_{\Delta }}\quad \quad S \mapsto \underline{S} \]

preserves (small) limits and colimits (since limits and colimits of simplicial sets are computed levelwise; see Remark 1.1.0.8). It follows that the collection of discrete simplicial sets is closed under the formation of (small) limits and colimits in $\operatorname{Set_{\Delta }}$.