Kerodon

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

Warning 9.2.7.16. In the situation of Corollary 9.2.7.15, if the morphisms $f$ and $f''$ are left orthogonal to $g$, then $f'$ need not be left orthogonal to $g$.