(AB1) pre-abelian category
(AB2) abelian category
(AB5) Grothendieck category
There is a sequence of extra structure and property on a category that makes this category behave like a general context for homological algebra. In order of increasing structure and property this is:
additive category: a pre-additive category that admits binary products or binary coproducts and therefore binary biproducts (equivalently, an -enriched category with all finite products or coproducts);
Pre-abelian and abelian categories are sometimes called (AB1) and (AB2) categories, after the sequence of additional axioms on top of additive categories introduced by Grothendieck in Tohoku. AB1 and AB2 are self-dual axioms (AB1 is existence of kernels and cokernels, and AB2 requires that, for any , the canonical morphism is an isomorphism). These continue in non-selfdual manner:
AB3: an abelian category with all coproducts (hence with all colimits);
AB4: an (AB3) category in which coproducts of monomorphisms are monic;
AB6: an (AB3) category such that
The concepts (AB3–AB6) also have dual forms (AB3–AB6).
There are further refinements along these lines. In particular
Various further axiom structures are considered for additive (sometimes abelian) categories.
Gabriel’s property sup
Various generic classes of examples of additive and abelian categories are of relevance: