Kerodon

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

Proposition 1.4.4.16. Let $\operatorname{\mathcal{C}}$ be a category which admits small colimits, let $S$ be a collection of morphisms of $\operatorname{\mathcal{C}}$, and let $T$ be the collection of all morphisms of $\operatorname{\mathcal{C}}$ which have the left lifting property with respect to $S$. Then $T$ is weakly saturated.