Definition A.12.
Let \(L\) be a class of morphisms of a presentable category \(C\). We say \(L\) is strongly saturated if it is saturated and closed under 2-out-of-3.
Definition A.12.
Let \(L\) be a class of morphisms of a presentable category \(C\). We say \(L\) is strongly saturated if it is saturated and closed under 2-out-of-3.