Remark 9.3.4.24. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a right fibration of $\infty $-categories and let $f$ be a morphism in $\operatorname{\mathcal{C}}$. Then $f$ is a monomorphism if and only if $F(f)$ is a monomorphism in the $\infty $-category $\operatorname{\mathcal{D}}$. See Corollary 9.3.3.11.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$