Kerodon

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

Example 8.4.6.5. Let $\widehat{\operatorname{\mathcal{C}}}$ be an $\infty $-category and let $\operatorname{\mathcal{C}}\subseteq \widehat{\operatorname{\mathcal{C}}}$ be a full subcategory which generates $\widehat{\operatorname{\mathcal{C}}}$ under colimits (see Warning 8.4.1.10). Then the full subcategory $\operatorname{\mathcal{C}}$ is weakly dense. In particular, every dense subcategory of $\widehat{\operatorname{\mathcal{C}}}$ is weakly dense.