# Kerodon

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

Corollary 1.1.4.10. The construction $S \mapsto \underline{S}_{\bullet }$ determines a fully faithful embedding $\operatorname{Set}\hookrightarrow \operatorname{Set_{\Delta }}$. The essential image of this embedding is the full subcategory of $\operatorname{Set_{\Delta }}$ spanned by the discrete simplicial sets.