Remark 9.3.4.14. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $f: X_0 \rightarrow X$ be a morphism of $\operatorname{\mathcal{C}}$. The condition that $f$ is a monomorphism depends only on the homotopy class $[f] \in \operatorname{Hom}_{\mathrm{h} \mathit{\operatorname{\mathcal{C}}}}(X_0,X)$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$