Kerodon

Theorem 8.4.0.3. Let $\operatorname{\mathcal{C}}$ be an essentially small $\infty $-category and let $h_{\bullet }: \operatorname{\mathcal{C}}\rightarrow \operatorname{Fun}( \operatorname{\mathcal{C}}^{\operatorname{op}}, \operatorname{\mathcal{S}})$ be a covariant Yoneda embedding for $\operatorname{\mathcal{C}}$ (Definition 8.3.3.9). Then $h_{\bullet }$ exhibit $\operatorname{Fun}( \operatorname{\mathcal{C}}^{\operatorname{op}}, \operatorname{\mathcal{S}})$ as a cocompletion of $\operatorname{\mathcal{C}}$ (in the sense of Definition 8.4.0.1).