Definition 4.8.1.11. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. The essential image of $F$ is the full subcategory $\operatorname{\mathcal{D}}' \subseteq \operatorname{\mathcal{D}}$ spanned by those objects $D \in \operatorname{\mathcal{D}}$ which are isomorphic to $F(C)$, for some object $C \in \operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$