Definition 9.5.5.1. Let $\kappa $ be a small regular cardinal. We say that an $\infty $-category $\operatorname{\mathcal{C}}$ is $\kappa $-presentable if it is both presentable and $\kappa $-accessible (Definition 9.4.6.1).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
9.5.5 Cocontinuous Functors
It will sometimes be convenient to work with a more quantitative version of Definition 9.5.1.2.
Remark 9.5.5.2. An $\infty $-category $\operatorname{\mathcal{C}}$ is presentable (in the sense of Definition 9.5.1.2) if and only if it is $\kappa $-presentable (in the sense of Definition 9.5.5.1) for some small regular cardinal $\kappa $.
Proposition 9.5.5.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\kappa $ be a small regular cardinal. The following conditions are equivalent:
The $\infty $-category $\operatorname{\mathcal{C}}$ is $\kappa $-presentable.
The $\infty $-category $\operatorname{\mathcal{C}}$ is an $\operatorname{Ind}_{\kappa }$-completion of an essentially small $\infty $-category $\operatorname{\mathcal{C}}_0$ which is $\kappa $-cocomplete.
Moreover, if these conditions are satisfied, then we can take $\operatorname{\mathcal{C}}_0$ to be the full subcategory $\operatorname{\mathcal{C}}_{< \kappa } \subseteq \operatorname{\mathcal{C}}$ spanned by the $\kappa $-compact objects.
Remark 9.5.5.4. In the situation of Proposition 9.5.5.3, the $\infty $-category $\operatorname{\mathcal{C}}_0$ is unique up to Morita equivalence (see Proposition 9.4.1.19). If $\kappa $ is uncountable, the assumption that $\operatorname{\mathcal{C}}_0$ is $\kappa $-cocomplete guarantees that it is idempotent-complete (Corollary 8.5.4.19), so $\operatorname{\mathcal{C}}_0$ is unique up to equivalence. In the case $\kappa = \aleph _0$, this is not necessarily true. For example, if $\operatorname{\mathcal{C}}= \operatorname{\mathcal{S}}$ is the $\infty $-category of spaces, then we can take $\operatorname{\mathcal{C}}_0 = \operatorname{\mathcal{S}}_{\mathrm{fin}}$ to be the full subcategory spanned by the essentially finite spaces (Proposition 9.3.2.16), which is finitely cocomplete but not idempotent-complete (Proposition 9.2.6.3 and Warning 9.2.6.8).
Our proof of Proposition 9.5.5.3 will require some preliminaries. We begin with a variant of Theorem 9.3.6.4.
Proposition 9.5.5.5. Let $\kappa \trianglelefteq \lambda $ be regular cardinals and let $h: \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ be a functor of $\infty $-categories which exhibits $\widehat{\operatorname{\mathcal{C}}}$ as a $\kappa $-cocompletion of $\operatorname{\mathcal{C}}$. Then the composite functor exhibits $\operatorname{Ind}_{\kappa }^{\lambda }( \widehat{\operatorname{\mathcal{C}}} )$ as a $\lambda $-cocompletion of $\operatorname{\mathcal{C}}$.
\[ \operatorname{\mathcal{C}}\xrightarrow {h} \widehat{\operatorname{\mathcal{C}}} \rightarrow \operatorname{Ind}_{\kappa }^{\lambda }( \widehat{\operatorname{\mathcal{C}}} ) \]
Proof. Using Proposition 8.4.5.3, we can choose a functor $h': \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}'$ which exhibits $\widehat{\operatorname{\mathcal{C}}}'$ as a $\lambda $-cocompletion of $\operatorname{\mathcal{C}}$. Without loss of generality, we may assume that $\widehat{\operatorname{\mathcal{C}}}$ is the smallest full subcategory of $\widehat{\operatorname{\mathcal{C}}}'$ which contains the essential image of $h'$ and is closed under $\kappa $-small colimits. Let $T: \operatorname{Ind}_{\kappa }^{\lambda }( \widehat{\operatorname{\mathcal{C}}} ) \rightarrow \widehat{\operatorname{\mathcal{C}}}'$ be an $\operatorname{Ind}_{\kappa }^{\lambda }$-extension of the inclusion functor $\widehat{\operatorname{\mathcal{C}}} \hookrightarrow \widehat{\operatorname{\mathcal{C}}}'$ (Definition 9.3.1.12). It follows from Proposition 9.2.5.24 that every object of $\widehat{\operatorname{\mathcal{C}}}$ is $(\kappa ,\lambda )$-compact when viewed as an object of $\widehat{\operatorname{\mathcal{C}}}'$, so the functor $T$ is fully faithful (Proposition 9.3.2.1). To complete the proof, it will suffice to show that $T$ is essentially surjective. Without loss of generality, we may assume that $\lambda $ is uncountable (otherwise, the result is immediate from Example 9.3.1.10). In this case, Variant 9.3.4.18 guarantees that every object $X \in \widehat{\operatorname{\mathcal{C}}}'$ can be realized as the colimit of a diagram $K \xrightarrow {F} \operatorname{\mathcal{C}}\xrightarrow {h'} \widehat{\operatorname{\mathcal{C}}}'$, where $K$ is a $\lambda $-small simplicial set. Applying Lemma 9.1.7.18 we can realize $K$ as the colimit of a diagram
\[ A \rightarrow \operatorname{Set_{\Delta }}\quad \quad (\alpha \in A) \mapsto K_{\alpha }, \]
where $A$ is a $\lambda $-small $\kappa $-directed partially ordered set and each $K_{\alpha }$ is a $\kappa $-small simplicial set. For each $\alpha \in A$, the diagram $(h' \circ F)|_{ K_{\alpha } }$ has some colimit $X_{\alpha } \in \widehat{\operatorname{\mathcal{C}}}$. Since $K$ is also a categorical colimit of the diagram $\{ K_{\alpha } \} _{\alpha \in A}$ (Proposition 9.1.6.1), we can promote the construction $\alpha \mapsto X_{\alpha }$ to a $\lambda $-small $\kappa $-filtered diagram $\operatorname{N}_{\bullet }(A) \rightarrow \widehat{\operatorname{\mathcal{C}}}$ having colimit $X$ (see Proposition 7.5.8.12), so that $X$ belongs to the essential image of $T$. $\square$
Corollary 9.5.5.6. Let $\kappa \trianglelefteq \lambda $ be regular cardinals and let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $\kappa $-cocomplete. Then $\operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}})$ is $\lambda $-cocomplete.
Proof. Using Proposition 8.4.5.3, we can choose a functor $h: \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ which exhibits $\widehat{\operatorname{\mathcal{C}}}$ as a $\kappa $-cocompletion of $\operatorname{\mathcal{C}}$. Moreover, $h$ is fully faithful, so the functor $H = \operatorname{Ind}_{\kappa }^{\lambda }(h): \operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}}) \rightarrow \operatorname{Ind}_{\kappa }^{\lambda }( \widehat{\operatorname{\mathcal{C}}} )$ is also fully faithful (Corollary 9.3.2.2). If $\operatorname{\mathcal{C}}$ is $\kappa $-cocomplete, then the functor $h$ admits a left adjoint (Proposition 8.4.5.13). It follows that $H$ also admits a left adjoint (Exercise 9.3.3.11), and therefore induces an equivalence from $\operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}})$ to a reflective localization of $\operatorname{Ind}_{\kappa }^{\lambda }( \widehat{\operatorname{\mathcal{C}}} )$. By virtue of Corollary 7.1.4.29, it will suffice to show that the $\infty $-category $\operatorname{Ind}_{\kappa }^{\lambda }( \widehat{\operatorname{\mathcal{C}}} )$ is $\lambda $-cocomplete, which follows from Proposition 9.5.5.5. $\square$
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:
The $\infty $-category $\operatorname{\mathcal{C}}$ is $\lambda $-cocomplete.
The $\infty $-category $\operatorname{\mathcal{C}}$ is $\kappa $-cocomplete.
The $\infty $-category $\operatorname{\mathcal{C}}_{< \kappa }$ is $\kappa $-cocomplete.
Proof. The implication $(1) \Rightarrow (2)$ is immediate, the implication $(2) \Rightarrow (3)$ follows from Proposition 9.2.5.24, and the implication $(3) \Rightarrow (1)$ follows from Corollary 9.5.5.6. $\square$
Corollary 9.5.5.8. Let $\kappa $ be a small regular cardinal, let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $\kappa $-compactly generated, and let $\operatorname{\mathcal{C}}_{< \kappa } \subseteq \operatorname{\mathcal{C}}$ denote the full subcategory spanned by the $\kappa $-compact objects. The following conditions are equivalent:
The $\infty $-category $\operatorname{\mathcal{C}}$ is cocomplete.
The $\infty $-category $\operatorname{\mathcal{C}}$ is $\kappa $-cocomplete.
The $\infty $-category $\operatorname{\mathcal{C}}_{< \kappa }$ is $\kappa $-cocomplete.
Proof. Apply Corollary 9.5.5.7 in the special case where $\lambda = \Omega $ is a strongly inaccessible cardinal. $\square$
Proof of Proposition 9.5.5.3. Combine Proposition 9.4.6.2 with Corollaries 9.5.5.7 and 9.5.5.8. $\square$
Let $\kappa $ be a small regular cardinal and let $\operatorname{\mathcal{C}}$ be an $\infty $-category which admits small colimits. Recall that a functor of $\infty $-categories $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is cocontinuous if it preserves small colimits (Definition 7.6.6.4). By virtue of Corollary 9.2.2.22, this is equivalent to the following pair of a priori weaker conditions:
- $(a)$
The functor $F$ is $\kappa $-finitary: that is, it preserves small $\kappa $-filtered colimits.
- $(b)$
The functor $F$ is $\kappa $-cocontinuous: that is, it preserves $\kappa $-small colimits.
We now show that, if the $\infty $-category $\operatorname{\mathcal{C}}$ is $\kappa $-presentable, then condition $(b_{\kappa })$ can be weakened further: it is enough to assume that $F$ preserves $\kappa $-small colimits when restricted to the full subcategory $\operatorname{\mathcal{C}}_{< \kappa } \subseteq \operatorname{\mathcal{C}}$ spanned by the $\kappa $-compact objects (Corollary 9.5.5.14). We will deduce this from the following more general result:
Proposition 9.5.5.9. Let $\kappa \trianglelefteq \lambda $ be regular cardinals and let $f: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. Suppose that $\operatorname{\mathcal{D}}$ is $(\kappa ,\lambda )$-cocomplete, so that $f$ admits an $\operatorname{Ind}_{\kappa }^{\lambda }$-extension $F: \operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{D}}$ (Definition 9.3.1.12). The following conditions are equivalent:
The functor $f$ is $\kappa $-right exact.
The functor $F$ is $\kappa $-right exact.
The functor $F$ is $\lambda $-right exact.
Proof. Fix an object $D \in \operatorname{\mathcal{D}}$. Using the criterion of Theorem 9.3.5.15, it will suffice to prove the equivalence of the following conditions:
- $(1_ D)$
The $\infty $-category $\operatorname{\mathcal{C}}\times _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}_{/D}$ is $\kappa $-filtered.
- $(2_ D)$
The $\infty $-category $\operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}}) \times _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}_{/D}$ is $\kappa $-filtered.
- $(3_ D)$
The $\infty $-category $\operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}}) \times _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}_{/D}$ is $\lambda $-filtered.
Note that the $\infty $-category $\operatorname{\mathcal{E}}= \operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}}) \times _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}_{/D}$ admits $\lambda $-small $\kappa $-filtered colimits which are preserved by the right fibration $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}})$ (Proposition 7.1.9.8). Applying Proposition 9.3.1.16, we can identify $\operatorname{\mathcal{E}}$ with the $\operatorname{Ind}_{\kappa }^{\lambda }$-completion of the $\infty $-category $\operatorname{\mathcal{C}}\times _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}_{/D}$. The equivalence of $(1_ D)$, $(2_ D)$, and $(3_ D)$ now follows from Corollary 9.3.7.6. $\square$
Corollary 9.5.5.10. Let $\kappa \trianglelefteq \lambda $ be regular cardinals and let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $\kappa $-cocomplete, so that $\operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}})$ is $\lambda $-cocomplete (Corollary 9.5.5.6). Suppose we are given a functor $f: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$, where $\operatorname{\mathcal{D}}$ is $(\kappa ,\lambda )$-cocomplete, and let $F: \operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{D}}$ be the $\operatorname{Ind}_{\kappa }^{\lambda }$-extension of $f$. The following conditions are equivalent:
The functor $f$ is $\kappa $-cocontinuous.
The functor $F$ is $\kappa $-cocontinuous.
The functor $F$ is $\lambda $-cocontinuous.
Proof. Combine Proposition 9.5.5.9 with Corollary 9.3.5.25. $\square$
Corollary 9.5.5.11. Let $\kappa \trianglelefteq \lambda $ be regular cardinals, let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $\kappa $-cocomplete, and let $\operatorname{\mathcal{D}}$ be an $\infty $-category which is $(\kappa ,\lambda )$-cocomplete. Then the restriction functor is an equivalence of $\infty $-categories.
\[ \operatorname{Fun}^{\lambda -\mathrm{cocont}}( \operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}}), \operatorname{\mathcal{D}}) \rightarrow \operatorname{Fun}^{\kappa -\mathrm{cocont}}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}}) \]
Proof. By virtue of the universal property of $\operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}})$, this is a reformulation of Corollary 9.5.5.10. $\square$
Corollary 9.5.5.12. Let $\kappa \trianglelefteq \lambda $ be regular cardinals, let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $\lambda $-cocomplete and $\kappa $-compactly generated, and let $\operatorname{\mathcal{D}}$ be an $\infty $-category which is $(\kappa ,\lambda )$-cocomplete. Then a functor of $\infty $-categories $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is $\lambda $-cocontinuous if and only if it satisfies the following pair of conditions:
The functor $F$ is $(\kappa ,\lambda )$-finitary.
The restriction $F|_{ \operatorname{\mathcal{C}}_{< \kappa } }$ is $\kappa $-cocontinuous, where $\operatorname{\mathcal{C}}_{< \kappa } \subseteq \operatorname{\mathcal{C}}$ denotes the full subcategory spanned by the $(\kappa ,\lambda )$-compact objects of $\operatorname{\mathcal{C}}$.
Proof. The necessity of conditions $(a)$ and $(b^{-})$ is clear. The sufficiency follows from Corollary 9.5.5.10, since $\operatorname{\mathcal{C}}$ can be identified with the $\operatorname{Ind}_{\kappa }^{\lambda }$-completion of $\operatorname{\mathcal{C}}_{< \kappa }$ (Proposition 9.4.1.11). $\square$
Corollary 9.5.5.13. Let $\kappa \trianglelefteq \lambda $ be regular cardinals, let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $\lambda $-cocomplete and $\kappa $-compactly generated, and let $\operatorname{\mathcal{D}}$ be an $\infty $-category which is $(\kappa ,\lambda )$-cocomplete. Then the restriction functor is an equivalence of $\infty $-categories.
\[ \operatorname{Fun}^{\lambda -\mathrm{cocont}}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}}) \rightarrow \operatorname{Fun}^{ \kappa -\mathrm{cocont} }( \operatorname{\mathcal{C}}_{< \kappa }, \operatorname{\mathcal{D}}) \]
Corollary 9.5.5.14. Let $\kappa $ be a small regular cardinal, let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is cocomplete and $\kappa $-compactly generated (for example, an $\infty $-category which is $\kappa $-presentable), and let $\operatorname{\mathcal{D}}$ be an $\infty $-category which admits small $\kappa $-filtered colimits. Then a functor of $\infty $-categories $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is cocontinuous if and only if it is $\kappa $-finitary and the restriction $F|_{ \operatorname{\mathcal{C}}_{< \kappa } }: \operatorname{\mathcal{C}}_{<\kappa } \rightarrow \operatorname{\mathcal{D}}$ is $\kappa $-cocontinuous.
Proof. Apply Corollary 9.5.5.12 in the special case where $\lambda = \Omega $ is a strongly inaccessible cardinal. $\square$
We conclude with an application of the preceding results.
Proposition 9.5.5.15. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then $\operatorname{\mathcal{C}}$ is presentable if and only if it satisfies the following conditions:
The $\infty $-category $\operatorname{\mathcal{C}}$ is locally small.
The $\infty $-category $\operatorname{\mathcal{C}}$ is cocomplete.
There exists a small collection of objects $\{ C_ i \} _{i \in I}$ which generates $\operatorname{\mathcal{C}}$ under small colimits in the following sense: if $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ is a full subcategory which contains each $C_ i$ and is closed under small colimits, then $\operatorname{\mathcal{C}}' = \operatorname{\mathcal{C}}$.
For every object $C \in \operatorname{\mathcal{C}}$, there exists a small regular cardinal $\kappa $ such that $C$ is $\kappa $-compact.
The proof of Proposition 9.5.5.15 will require some preliminaries. We begin by establishing “cocontinuous” variants of Propositions 9.3.2.1 and 9.3.2.3.
Lemma 9.5.5.16. Let $\kappa \trianglelefteq \lambda $ be regular cardinals, let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $\kappa $-cocomplete, and let $h: \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ be a functor of $\infty $-categories which satisfies the following conditions:
The $\infty $-category $\widehat{\operatorname{\mathcal{C}}}$ admits $\lambda $-small colimits.
The functor $h$ is fully faithful and preserves $\kappa $-small colimits.
For each object $C \in \operatorname{\mathcal{C}}$, the image $h(C)$ is a $(\kappa ,\lambda )$-compact object of $\widehat{\operatorname{\mathcal{C}}}$.
Then the $\operatorname{Ind}_{\kappa }^{\lambda }$-extension of $h$ is a fully faithful functor $H: \operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}}) \rightarrow \widehat{\operatorname{\mathcal{C}}}$, whose essential image is the smallest full subcategory which contains the essential image of $h$ and is closed under $\lambda $-small colimits.
Proof. Proposition 9.3.2.1 guarantees that $H$ is fully faithful, and therefore restricts to an equivalence of $\operatorname{Ind}_{\kappa }^{\lambda }( \operatorname{\mathcal{C}})$ with a replete full subcategory $\widehat{\operatorname{\mathcal{C}}}' \subseteq \widehat{\operatorname{\mathcal{C}}}$. Since $h$ is $\kappa $-cocontinuous, Corollary 9.5.5.10 guarantees that $H$ is $\lambda $-cocontinuous: that is, the full subcategory $\widehat{\operatorname{\mathcal{C}}}' \subseteq \widehat{\operatorname{\mathcal{C}}}$ is closed under $\lambda $-small colimits. We conclude by observing that every object of $\widehat{\operatorname{\mathcal{C}}}'$ can be realized as the colimit of a $\lambda $-small diagram in $\operatorname{\mathcal{C}}$ (which we can even take to be $\kappa $-filtered; see Corollary 9.3.4.17). $\square$
Lemma 9.5.5.17. Let $\kappa \trianglelefteq \lambda $ be regular cardinals, let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $\kappa $-cocomplete, and let $h: \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ be a functor of $\infty $-categories. Then $h$ exhibits $\widehat{\operatorname{\mathcal{C}}}$ as an $\operatorname{Ind}_{\kappa }^{\lambda }$-completion of $\operatorname{\mathcal{C}}$ if and only if it satisfies conditions $(0)$, $(1)$, and $(2)$ of Lemma 9.5.5.16, together with the following additional condition:
The objects $\{ h(C) \} _{C \in \operatorname{\mathcal{C}}}$ generate $\widehat{\operatorname{\mathcal{C}}}$ under $\lambda $-small colimits. That is, if a full subcategory $\widehat{\operatorname{\mathcal{C}}}' \subseteq \widehat{\operatorname{\mathcal{C}}}$ contains the essential image of $h$ and is closed under $\lambda $-small colimits, then $\widehat{\operatorname{\mathcal{C}}}' = \widehat{\operatorname{\mathcal{C}}}$.
Proof. The sufficiency of conditions $(0)$, $(1)$, $(2)$, and $(3)$ follows from Lemma 9.5.5.16. Necessity follows by combining Proposition 9.3.2.3 with Corollaries 9.5.5.6 and 9.3.5.27. $\square$
Example 9.5.5.18. Let $\kappa \trianglelefteq \lambda $ be regular cardinals, let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is $\lambda $-cocomplete, 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:
The $\infty $-category $\operatorname{\mathcal{C}}$ is $(\kappa ,\lambda )$-compactly generated: that is, every object of $\operatorname{\mathcal{C}}$ can be realized as the colimit of a $\lambda $-small $\kappa $-filtered diagram in $\operatorname{\mathcal{C}}_{< \kappa }$ (Variant 9.4.1.7).
The $\infty $-category $\operatorname{\mathcal{C}}$ is generated by $\operatorname{\mathcal{C}}_{< \kappa }$ under $\lambda $-small colimits.
The implication $(1) \Rightarrow (2)$ is trivial, and the reverse implication follows by applying Lemma 9.5.5.17 to the inclusion functor $\operatorname{\mathcal{C}}_{< \kappa } \hookrightarrow \operatorname{\mathcal{C}}$.
We now formulate a more precise version of Proposition 9.5.5.15.
Proposition 9.5.5.19. Let $\kappa $ be a small regular cardinal. Then an $\infty $-category $\operatorname{\mathcal{C}}$ is $\kappa $-presentable if and only if it satisfies the following conditions:
The $\infty $-category $\operatorname{\mathcal{C}}$ is locally small.
The $\infty $-category $\operatorname{\mathcal{C}}$ is cocomplete.
There exists a small collection of $\kappa $-compact objects $\{ C_{i} \} _{i \in I}$ which generates $\operatorname{\mathcal{C}}$ under small colimits.
Proof. If $\operatorname{\mathcal{C}}$ is $\kappa $-presentable, then assertions $(b)$ and $(c_{\kappa })$ are immediate and $(a)$ follows from Remark 9.4.6.14. Conversely, suppose that conditions $(a)$, $(b)$, and $(c_{\kappa })$ are satisfied. Let $\{ C_ i \} _{i \in I}$ be a small collection of $\kappa $-compact objects which generates $\operatorname{\mathcal{C}}$ under small colimits, and let $\operatorname{\mathcal{C}}_0 \subseteq \operatorname{\mathcal{C}}$ be the full subcategory spanned by the objects $C_ i$. It follows from assumption $(a)$ that $\operatorname{\mathcal{C}}_0$ is essentially small. Enlarging $\operatorname{\mathcal{C}}_0$ if necessary, we can assume that it is closed under $\kappa $-small colimits (Proposition 9.2.5.24), so that $\operatorname{\mathcal{C}}_0$ is $\kappa $-cocomplete and the inclusion functor $\iota : \operatorname{\mathcal{C}}_0 \hookrightarrow \operatorname{\mathcal{C}}$ is $\kappa $-cocontinuous. Applying Lemma 9.5.5.17, we conclude that $\iota $ exhibits $\operatorname{\mathcal{C}}$ as an $\operatorname{Ind}_{\kappa }$-completion of $\operatorname{\mathcal{C}}_0$, and is therefore $\kappa $-presentable. $\square$
Proof of Proposition 9.5.5.15. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category which satisfies the hypotheses of Proposition 9.5.5.15; we wish to show that $\operatorname{\mathcal{C}}$ is presentable (the converse follows from Remark 9.4.6.14 and 9.4.6.8). By assumption, $\operatorname{\mathcal{C}}$ is generated under small colimits by a small collection of objects $\{ C_ i \} _{i \in I}$. Moreover, each $C_ i$ is $\kappa _ i$-compact for some small regular cardinal $\kappa _ i$. Choose a small regular cardinal $\kappa $ which is an upper bound for the collection $\{ \kappa _ i \} _{i \in I}$. Then each of the objects $C_ i$ is $\kappa $-compact. Applying Proposition 9.5.5.19, we conclude that $\operatorname{\mathcal{C}}$ is $\kappa $-presentable. In particular, it is presentable. $\square$
Corollary 9.5.5.20. Let $\kappa \leq \lambda $ be small regular cardinals and let $\operatorname{\mathcal{C}}$ be an $\infty $-category. If $\operatorname{\mathcal{C}}$ is $\kappa $-presentable, then it is also $\lambda $-presentable.