Remark 4.7.5.4. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then a morphism $f: X \rightarrow Y$ is a monomorphism (in the sense of Definition 4.7.5.1) if and only if it is $(-1)$-truncated (in the sense of Definition 4.7.2.1).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$