Books & notes

Higher Topos Theory Section A.2: Saturated classes

A saturated class gives a factorization system

Proposition A.11. ([Lurie 2009, Proposition 5.5.5.7])

Let \(C\) be a presentable category and let \(L\) be a saturated class of small generation. Then the pair \((L,L^{\perp})\) forms a factorization system on \(C\).

References

  1. Jacob Lurie. Higher topos theory. Ann. Math. Stud. 170, Princeton, NJ: Princeton University Press. 2009.