Remark 9.3.4.5. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then a morphism $f: X_0 \rightarrow X$ is a monomorphism (in the sense of Definition 9.3.4.1) if and only if it is $(-1)$-truncated (in the sense of Definition 9.3.3.1). See Example 3.5.9.3.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$