# Kerodon

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

Theorem 8.4.2.1. Let $\operatorname{\mathcal{C}}$ be a locally 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 (Definition 8.3.3.9). Then $h_{\bullet }$ is a dense functor.