Kerodon

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

Corollary 1.2.1.15. Let $S_{}$ be a simplicial set. Then $S_{}$ is connected if and only if $\pi _0( S_{})$ has exactly one element.