Kerodon

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

Proposition 1.5.4.13. Let $\operatorname{\mathcal{C}}$ be a category which admits small colimits, let $T$ be a collection of morphisms of $\operatorname{\mathcal{C}}$, and let $S$ be the collection of all morphisms of $\operatorname{\mathcal{C}}$ which are weakly left orthogonal to $T$. Then $S$ is weakly saturated.