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