Theorem 0.1. Grothendieck’s theorem: “Every 𝒜b5 category with a generator has an injective cogenerator” (Grothendieck 1957).
This initial statement of Grothendieck’s theorem is now restated as:
Theorem 0.2. Every Grothendieck category 𝒢 has an injective cogenerator.
