An Abelian category is a category for which the constructions and techniques of homological algebra are available. The basic examples of such categories are the category of Abelian groups and, more generally, the category of modules over a ring. Abelian categories are widely used in algebra, algebraic geometry, and topology.

Abelian group | category | category product | cokernel | Freyd's theorem | module | module kernel | morphism | product