Remark 9.2.1.5 (Monotonicity). Let $\kappa \leq \lambda $ be regular cardinals and let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $(\kappa ,\lambda )$-cocomplete. Then, for any regular cardinals $\kappa \leq \kappa ' \leq \lambda ' \leq \lambda $, the $\infty $-category $\operatorname{\mathcal{C}}$ is also $(\kappa ', \lambda ')$-cocomplete.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$