Corollary 1.2.5.5. The nerve functor $\operatorname{N}_{\bullet }: \operatorname{Cat}\rightarrow \operatorname{Set_{\Delta }}$ admits a left adjoint, given on objects by the construction $S_{\bullet } \mapsto \mathrm{h} \mathit{S}_{\bullet }$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$