Kerodon

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

Warning 3.5.1.3. The terminology of Definition 3.5.1.1 is not standard. Many authors refer to a Kan complex $X$ as $n$-connected if it is $(n+1)$-connective in the sense of Definition 3.5.1.1.