Remark 4.7.5.16. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: X \rightarrow Y$ be a morphism of $\operatorname{\mathcal{C}}$. Then $f$ is a monomorphism if and only if it is subterminal when viewed as an object of the $\infty $-category $\operatorname{\mathcal{C}}_{/Y}$. See Proposition 4.7.2.7.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$