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

Notation Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: X \rightarrow Y$ be a morphism in $\operatorname{\mathcal{C}}$ which admits an image $Y_0 \subseteq Y$. It follows from Proposition that the isomorphism class $[Y_0]$ is uniquely determined by $f$ (as an object of the partially ordered set $\operatorname{Sub}(Y)$; see Notation To emphasize this, we will denote the isomorphism class $[Y_0]$ by $\operatorname{im}(f)$ and refer to it as the image of $f$. We will sometimes abuse notation by identifying $\operatorname{im}(f)$ with the object $Y_0$, viewed either as an object of the slice $\infty $-category $\operatorname{\mathcal{C}}_{/Y}$ or as an object of the $\infty $-category $\operatorname{\mathcal{C}}$.