Remark 4.4.2.10. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ and $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be functors between $\infty $-categories, where $G$ is conservative. Then $F$ is conservative if and only if the composition $(G \circ F): \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{E}}$ is conservative.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$