# Kerodon

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

Remark 8.4.1.19 (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.