Remark 9.6.6.9. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category containing morphisms $f: A \rightarrow B$ and $g: X \rightarrow Y$. If either $f$ or $g$ is an isomorphism, then $f$ is left orthogonal to $g$. See Corollary 7.6.2.39.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$