Books & notes

Higher Topos Theory Section A.3: Strongly saturated classes

Inverted maps form a strongly saturated class

Proposition A.14. ([Lurie 2009, Proposition 5.5.4.16])

Let \(\varphi\colon C \to D\) be a cocontinuous functor between presentable categories. Then \(\ker(\varphi)\) is strongly saturated and of small generation.

References

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