Remark 4.7.5.22. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. For every object $X \in \operatorname{\mathcal{C}}$, the identity morphism $\operatorname{id}_{X}: X \rightarrow X$ is a monomorphism (Example 4.7.5.11), so we can regard $X$ as a subobject of itself. Moreover, the isomorphism class $[X]$ is a largest element of the partially ordered set $\operatorname{Sub}(X)$ (see Example 4.7.4.10).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$