Kerodon

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

Example 1.2.1.10. Let $I$ be a set and let $\underline{I}_{}$ be the constant simplicial set associated to $I$ (Construction 1.1.5.2). Then the connected components of $\underline{I}_{}$ are exactly the simplicial subsets of the form $\underline{ \{ i \} }$ for $i \in I$. In particular, we have a canonical bijection $I \simeq \pi _0( \underline{I}_{} )$.