Kerodon

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

Remark 9.1.3.23. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Any intersection of weakly saturated collections of morphisms of $\operatorname{\mathcal{C}}$ is also weakly saturated. In particular, for any collection $W$ of morphisms of $\operatorname{\mathcal{C}}$, there is a smallest collection $\overline{W}$ which is weakly saturated and contains $W$. We will refer to $\overline{W}$ as the weakly saturated collection generated by $W$.