Kerodon

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

Remark 9.2.7.7. Let $f$ and $g$ be morphisms in an $\infty $-category $\operatorname{\mathcal{C}}$. If $f$ is left orthogonal to $g$ (in the sense of Definition 9.2.7.4), then it is weakly left orthogonal to $g$ (in the sense of Definition 9.2.5.8). Beware that the converse is false (Exercise 9.2.7.8).