Kerodon

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

Remark 1.2.3.17. The functor $\pi _0: \operatorname{Set_{\Delta }}\rightarrow \operatorname{Set}$ of Corollary 1.2.1.21 can be regarded as special case of Proposition 1.2.3.15: it agrees with the functor $| \bullet |^{Q}$, where $Q^{\bullet }: \operatorname{{\bf \Delta }}\rightarrow \operatorname{Set}$ is a constant functor whose value is a singleton set $\ast \in \operatorname{Set_{\Delta }}$ (see Proposition 1.2.1.19).