# Kerodon

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

Example 8.4.1.16. Let $\operatorname{\mathcal{D}}$ be an $\infty$-category. Then a full subcategory $\operatorname{\mathcal{C}}\subseteq \operatorname{\mathcal{D}}$ is dense (in the sense of Definition 8.4.1.5) if and only if the inclusion functor $\operatorname{\mathcal{C}}\hookrightarrow \operatorname{\mathcal{D}}$ is dense (in the sense of Definition 8.4.1.15). See Proposition 7.3.2.5.