Abelian category

In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties.

The motivating prototypical example of an abelian category is the category of abelian groups, Ab.

Abelian categories are very stable categories; for example they are regular and they satisfy the snake lemma. The class of abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an abelian category, or the category of functors from a small category to an abelian category are abelian as well. These stability properties make them inevitable in homological algebra and beyond; the theory has major applications in algebraic geometry, cohomology and pure category theory.

Mac Lane^[1] says Alexander Grothendieck^[2] defined the abelian category, but there is a reference^[3] that says Eilenberg's disciple, Buchsbaum, proposed the concept in his PhD thesis,^[4] and Grothendieck popularized it under the name "abelian category".