Kerodon

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

Remark 4.8.9.5. Let $f: A \rightarrow B$ be a morphism of simplicial sets. If $f$ is categorically $n$-connective, then it is $n$-connective. This follows from Remark 4.8.9.4 and Corollary 4.8.7.17. Beware that the converse is false in general (Warning 4.8.7.4).