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.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$