Grothendieck's theorem

Theorem 0.1   Grothendieck's theorem: “Every $ \mathcal{A}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 $ \mathcal{G}$ has an injective cogenerator.



Contributors to this entry (in most recent order):

As of this snapshot date, this entry was owned by bci1.