Example 8.5.8.1. The simplicial set $\operatorname{N}_{\leq 0}( \operatorname{Idem})$ is isomorphic to the standard simplex $\Delta ^0$. Consequently, if $\operatorname{\mathcal{C}}$ is an $\infty $-category, then a morphism $\operatorname{N}_{\leq 0}( \operatorname{Idem}) \rightarrow \operatorname{\mathcal{C}}$ can be identified with an object $X \in \operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$