Remark 9.3.4.16. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: X_0 \rightarrow X$ 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}}_{/X}$. See Proposition 9.3.3.7.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$