Kerodon

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

Example 9.2.5.9. In the situation of Definition 9.2.5.8, suppose that $\operatorname{\mathcal{C}}$ is the nerve of a category $\operatorname{\mathcal{C}}_0$. Then $f$ is weakly left orthogonal to $g$ (in the sense of Definition 9.2.5.8) if and only if it is weakly left orthogonal to $g$ when regarded as a morphism of the category $\operatorname{\mathcal{C}}_0$ (in the sense of Definition 1.5.4.3).