Corollary 10.2.3.19. 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}}$. If $F(f)$ is a monomorphism in the $\infty $-category $\operatorname{\mathcal{D}}$, then $f$ is a monomorphism in $\operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$