Corollary 9.5.5.7. Let $\kappa \trianglelefteq \lambda $ be regular cardinals, let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $(\kappa ,\lambda )$-compactly generated, and let $\operatorname{\mathcal{C}}_{< \kappa } \subseteq \operatorname{\mathcal{C}}$ denote the full subcategory spanned by the $(\kappa ,\lambda )$-compact objects. The following conditions are equivalent:
- $(1)$
The $\infty $-category $\operatorname{\mathcal{C}}$ is $\lambda $-cocomplete.
- $(2)$
The $\infty $-category $\operatorname{\mathcal{C}}$ is $\kappa $-cocomplete.
- $(3)$
The $\infty $-category $\operatorname{\mathcal{C}}_{< \kappa }$ is $\kappa $-cocomplete.