# Kerodon

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

Remark 4.4.2.8. 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.