Remark 4.8.7.7 (Monotonicity). Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories and let $m \leq n$ be integers. If $F$ is categorically $n$-connective, then it is categorically $m$-connective.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$