Remark 8.4.1.18 (Change of Source). Let $\operatorname{\mathcal{D}}$ be an $\infty $-category, let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a morphism of simplicial sets, and let $G: \operatorname{\mathcal{B}}\rightarrow \operatorname{\mathcal{C}}$ be a categorical equivalence of simplicial sets. Then $F$ is dense if and only if $F \circ G$ is dense. See Proposition 7.3.1.14.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$