A category that displays some of the characteristic properties of the category of all Abelian groups. Abelian categories were introduced as the basis for an abstract construction of homological algebra . A category is said to be Abelian  if it satisfies the following axioms:
A0. A null object exists (cf. Null object of a category).
In defining an Abelian category it is often assumed that is a locally small category (cf. Small category). The coproduct of two objects and of an Abelian category is also know as the direct sum of these objects and is denoted by , or .
Examples of Abelian categories.
1) The dual category of an Abelian category is also an Abelian category.
2) The category of all unitary left modules over an arbitrary associative ring with a unit element and all -module homomorphisms is an Abelian category (e.g. the category of all Abelian groups).
3) Any full subcategory of an Abelian category which contains for each one of its morphisms also the kernel and cokernel of that morphism, and which contains for each pair of objects and also their product and coproduct, is an Abelian category.
The small Abelian categories are exhausted by the subcategories of the above type of categories of unitary left modules. Accordingly, the following Mitchell theorem is valid: For each small Abelian category there exists a full exact imbedding into some category .
4) Any category of diagrams , with diagram scheme over an Abelian category , is an Abelian category. In the scheme one may distinguish the set of commutativity relations, i.e. the set of pairs of paths , in with a common begin and end. Then the complete subcategory of the category generated by all those diagrams that satisfy
is an Abelian category. In particular, if is a small category and if the set consists of all pairs of the form with , then the corresponding subcategory is the Abelian category of one-place covariant functors from into (cf. Functor).
Suppose that a null object exists in a small category . A functor will then be called normalized if it takes a null object into a null object. The complete subcategory of the category of functors generated by the normalized functors will then be an Abelian category. In particular, if is a category the objects of which are all integers plus the null object , while the non-null non-identity morphisms form a sequence
in which then the corresponding subcategory generated by the normalized functors is called the category of complexes over . On the category of complexes there are defined the additive functors of -dimensional cycles, -dimensional boundaries and -dimensional homologies, respectively, with values in . These constitute the basis for the development of homological algebra.
if and only if . The quotient category is then constructed as follows. Let be a subobject of the direct sum with projections and let the square
be co-universal (i.e. a co-fibred product). The subobject is called an -subobject if , . Two -subobjects are equivalent if they contain some -subobject. By definition, the set consists of the equivalence classes of -subobjects. The usual multiplication of binary relations is compatible with the equivalence relation thus introduced, which makes it possible to construct the quotient category , which is an Abelian category. The exact functor is defined by assigning to each morphism its graph in . A subcategory is said to be a localizing subcategory if has a complete univalent right-adjoint functor .
6) For any topological space the category of left -modules over , where is a sheaf of rings with unit element over , is an Abelian category.
It is possible to introduce into any Abelian category a partial sum of morphisms so that becomes an additive category. For this reason the product and the coproduct of any pair of objects in an Abelian category are identical. Moreover, in defining an Abelian category it suffices to assume the existence of either products or coproducts. Any Abelian category is a bicategory with a unique bicategorical structure. These properties characterize an Abelian category: A category with finite products is Abelian if and only if it is additive and if any morphism has a kernel and a cokernel and can be decomposed into a product
in which is an isomorphism.
The Mitchell theorem quoted above constitutes the underlying principle of the so-called "diagram-chasing" method in an Abelian category: Any proposition about commutative diagrams that is valid for all categories of left modules and that is a consequence of the exactness of certain sequences of morphisms, is valid in all Abelian categories.
In a locally small Abelian category, the -subobjects of an arbitrary object form a Dedekind lattice. If products (or coproducts) of any family of objects exist in , this lattice will be complete. These conditions are known to be met if there is a generating object in and if the coproducts
exist for any set . These conditions are satisfied, for instance, by Grothendieck categories (cf. Grothendieck category), which are equivalent to the quotient categories of the category of modules by a localizing subcategory (the Gabriel–Popescu theorem).
|||I. Bucur, A. Deleanu, "Introduction to the theory of categories and functors" , Wiley (1968)|
|||P. Freyd, "Abelian categories: An introduction to the theory of functors" , Harper & Row (1964)|
|||P. Gabriel, "Des categories Abéliennes" Bull. Soc. Math. France , 90 (1962) pp. 323–448|
|||A. Grothendieck, "Sur quelques points d'algèbre homologique" Tohôku Math. J. , 9 (1957) pp. 119–221|
Composition of morphisms is written from left to right in this article; i.e. denotes the composition of , . A dense subcategory is more often called a Serre subcategory.
|[a1]||B. Mitchell, "Theory of categories" , Acad. Press (1965)|
|[a2]||N. Popescu, "Abelian categories with applications to rings and modules" , Acad. Press (1973)|
Abelian category. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Abelian_category&oldid=17350