Kerodon

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

Remark 8.4.1.17 (Homotopy Invariance). Let $\operatorname{\mathcal{D}}$ be an $\infty $-category, let $C$ be a simplicial set, and let $F,F': \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be diagrams which are isomorphic (when viewed as objects of the $\infty $-category $\operatorname{Fun}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$). Then $F$ is dense if and only if $F'$ is dense. This follows by combining Remarks 7.3.1.11 and 7.3.1.12.