Remark 4.6.2.18 (Transitivity). Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ and $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be functors of $\infty $-categories. If $F$ and $G$ are essentially surjective, then the composition $G \circ F$ is essentially surjective. Conversely, if $G \circ F$ is essentially surjective, then $G$ is essentially surjective.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$