Corollary 9.2.5.17. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, 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.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$