Definition 9.6.9.2. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $S$ be a collection of morphisms of $\operatorname{\mathcal{C}}$. We say that $S$ is saturated if it contains all isomorphisms, is closed under composition, and is closed under small levelwise colimits (in the $\infty $-category $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$