Strongly Saturated Class
Let be an Infinity Category that admist all small Colimits, and be a collection of morphisms in . We say that is strongly saturated when:
- Morphisms in are stable under Pushout.
- The full subcategory of the Arrow Category spanned by is stable under small Colimits
- satisfies the 2-Out-Of-3 Property.