Remark 4.8.5.6. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ and $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be functors of $\infty $-categories. If $G \circ F$ is full and $F$ is essentially surjective, then $G$ is also full.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$