additive and abelian categories
(AB1) pre-abelian category
(AB2) abelian category
(AB5) Grothendieck category
left/right exact functor
(also nonabelian homological algebra)
Grothendieck categories are those abelian categories
such that for presheaves on a site with values in there is an existence theorem for the sheafification functor;
such that all complexes in (with respect to a translation) are quasi-isomorphic to homotopically injective complexes (so that derived functor can be computed on homotopically injective replacements).
In terms of the AB hierarchy discussed at additive and abelian categories we have
A Grothendieck category is an AB5-category which has a generator.
This means that a Grothendieck category is an abelian category
that admits a generator;
that admits small colimits;
such that small filtered colimits are exact in the following sense:
Dually a co-Grothendieck category is an AB5 category with a cogenerator. The category of abelian groups is not a co-Grothendieck category. Any abelian category which is simultaneously Grothendieck and co-Grothendieck has just a single object (see Freyd’s book, p.116).
A Grothendieck category satisfies the following properties.
it admits small limits;
if a functor commutes with small limits, the is representable;
if a functor commutes with small colimits, then has a right adjoint.
The Gabriel-Popescu theorem exhibits any Grothendieck abelian category as a reflective subcategory of a category of modules over a ring.
Any Grothendieck abelian category is locally presentable. See, for example, \cite[Corollary 5.2]{Krause} and references therein.
More generally, any cocomplete abelian category with a set of generators in which -filtered colimits commute with finite limits for some regular cardinal is a locally presentable category. See \cite[Theorem 2.2]{PositselskiRosicky}.
If is equipped with translation , then for every complex there exists a quasi-isomorphism of complexes such that is homotopically injective.
it satisfies Pierre Gabriel’s sup property: every small family of subobjects of a given object has a supremum which is a subobject of ;
it admits an injective cogenerator (see Kashiwara-Schapira, Theorem 9.6.3).
Much of the localization theory of rings generalizes to general Grothendieck categories.
For a commutative ring, its category of modules Mod is a Grothendieck category. (see e.g Kiersz 06, prop. 4 for the proof that filtered colimits here are exact.)
For a small abelian category, the category of ind-objects in is a Grothendieck category.
for a Grothendieck category, the category of complexes in is again a Grothendieck category.
A dedicated survey is
Grothendieck categories are mentioned at the end of section 8.3 in
The relation to complexes is in section 14.1.
The proof that filtered colimits in are exact is spelled out for instance in
See also
The fact that all Grothendieck categories are locally presentable is proved in Corollary 5.2 of
Krause?Henning Krause, Deriving Auslander’s formula, arXiv:1409.7051.
A generalization to -Grothendieck categories (defined using -filtered colimits) is proved in Theorem 2.2 of
PositselskiRosicky?Leonid Positselski, Jiří Rosický, Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories, arXiv:1512.08119.
The duality of Grothendieck categories with categories of modules over linearly compact rings is discussed in
Discussion of model structures on chain complexes in Grothendieck abelian categories is in
Last revised on January 27, 2021 at 11:47:21. See the history of this page for a list of all contributions to it.