Corollary 9.6.6.13. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $g: X \rightarrow Y$ be a morphism of $\operatorname{\mathcal{C}}$. If a morphism $f: A \rightarrow B$ is left orthogonal to $g$, then any retract of $f$ (in the $\infty $-category $\operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}})$) is also left orthogonal to $g$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$