Kerodon

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

Example 4.8.7.3. Let $f: X \rightarrow Y$ be a morphism of Kan complexes and let $n$ be an integer. Then $f$ is categorically $n$-connective (in the sense of Definition 4.8.7.1) if and only if it is $n$-connective (in the sense of Definition 3.5.1.13). See Corollary 4.8.5.24.