# Kerodon

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

Corollary 8.4.5.7. Let $\operatorname{\mathcal{D}}$ be an $\infty$-category. The following conditions are equivalent:

$(a)$

There exists an essentially small $\infty$-category $\operatorname{\mathcal{C}}$ and an equivalence of $\infty$-categories $F: \operatorname{Fun}( \operatorname{\mathcal{C}}^{\operatorname{op}}, \operatorname{\mathcal{S}}) \rightarrow \operatorname{\mathcal{D}}$.

$(b)$

The $\infty$-category $\operatorname{\mathcal{D}}$ is locally small and admits small colimits. Moreover, it contains a small collection of atomic objects $\{ X_ i \} _{i \in I}$ which is weakly dense.

Proof. We first show that $(a)$ implies $(b)$. Without loss of generality, we may assume that $\operatorname{\mathcal{D}}= \operatorname{Fun}( \operatorname{\mathcal{C}}^{\operatorname{op}}, \operatorname{\mathcal{S}})$, where $\operatorname{\mathcal{C}}$ is a small $\infty$-category. Since the $\infty$-category $\operatorname{\mathcal{S}}$ admits small colimits (Corollary 7.4.5.6), the $\infty$-category $\operatorname{\mathcal{D}}$ also admits small colimits (Proposition 7.1.6.1). Moreover, Corollary 5.4.8.10 guarantees that $\operatorname{\mathcal{D}}$ is locally small. For each object $X \in \operatorname{\mathcal{C}}$, let $h_{X} \in \operatorname{\mathcal{D}}$ be a functor represented by $X$. Then the collection of objects $\{ h_ X \} _{X \in \operatorname{\mathcal{C}}}$ span a full subcategory of $\operatorname{\mathcal{D}}$ which is dense (Corollary 8.4.2.2), and therefore weakly dense (Example 8.4.5.5). We conclude by observing that each of the representable functors $h_{X}$ is a atomic object of $\operatorname{\mathcal{D}}$ (Example 8.4.5.2).

We now show that $(b)$ implies $(a)$. Assume that $\operatorname{\mathcal{D}}$ is locally small and admits small colimits. Let $\{ X_ i \} _{i \in I}$ be a small collection of atomic objects of $\operatorname{\mathcal{D}}$, and let $\operatorname{\mathcal{D}}_0 \subseteq \operatorname{\mathcal{D}}$ be the full subcategory that they span. It follows from Proposition 5.4.8.8 that the $\infty$-category $\operatorname{\mathcal{D}}_0$ is essentially small. If $\operatorname{\mathcal{D}}_0$ is weakly dense in $\operatorname{\mathcal{D}}$, then the inclusion map $\operatorname{\mathcal{D}}_0 \hookrightarrow \operatorname{\mathcal{D}}$ satisfies the hypotheses of Proposition 8.4.5.6 and therefore induces an equivalence of $\infty$-categories $\operatorname{Fun}( \operatorname{\mathcal{D}}_0^{\operatorname{op}}, \operatorname{\mathcal{S}}) \rightarrow \operatorname{\mathcal{D}}$. $\square$