Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

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

Proof. Let $f': A' \rightarrow B'$ be a retract of $f$ (in the $\infty $-category $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$); we will show that $f'$ is weakly left orthogonal to $g$. Let $\pi : \operatorname{\mathcal{C}}_{/Y} \rightarrow \operatorname{\mathcal{C}}$ be the projection map, and let us identify $g$ with an object $\widetilde{X} \in \operatorname{\mathcal{C}}_{/Y}$ satisfying $\pi ( \widetilde{X} ) = X$. By virtue of Remark 9.1.5.12, it will suffice to show that for any morphism $\widetilde{f}'$ of $\operatorname{\mathcal{C}}_{/Y}$ satisfying $\pi ( \widetilde{f}' ) = f'$, the object $\widetilde{X}$ is weakly $\widetilde{f}'$-local. It follows from Corollary 4.2.5.2 that $\pi $ induces a right fibration $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}}_{/Y} ) \rightarrow \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$. Applying Remark 8.5.1.23, we deduce that $\widetilde{f}'$ is a retract of a morphism $\widetilde{f}$ of $\operatorname{\mathcal{C}}_{/Y}$ satisfying $U( \widetilde{f} ) = f$. By virtue of Variant 9.1.3.13, it will suffice to show that the object $\widetilde{X}$ is weakly $\widetilde{f}$-local, which follows from our assumption that $f$ is weakly left orthogonal to $g$ (Remark 9.1.5.12). $\square$