Corollary 8.4.1.9. Let $\operatorname{\mathcal{D}}$ be a locally small category. Then a full subcategory $\operatorname{\mathcal{C}}\subseteq \operatorname{\mathcal{D}}$ is dense (in the sense of Definition 8.4.1.1) if and only if $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ is a dense subcategory of the $\infty $-category $\operatorname{N}_{\bullet }(\operatorname{\mathcal{D}})$ (in the sense of Definition 8.4.1.5).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$