Definition 10.3.3.17. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. We say that $\operatorname{\mathcal{C}}$ has images if every morphism $f: X \rightarrow Y$ of $\operatorname{\mathcal{C}}$ has an image $\operatorname{im}(f) \in \operatorname{Sub}(Y)$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$