Abelian category
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 [4]. A category is said to be Abelian [2] if it satisfies the following axioms:
A0. A null object exists (cf. Null object of a category).
A1. Each morphism has a kernel (cf. Kernel of a morphism in a category) and a cokernel.
A2. Each monomorphism is a normal monomorphism, so that it occurs as the kernel of a morphism; each epimorphism is a normal epimorphism.
A3. A product and a coproduct exist for each pair of objects (cf. Product of a family of objects in a category).
In defining an Abelian category it is often assumed that is a locally 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.
5) A full subcategory of an Abelian category
is said to be dense if it contains all subobjects (cf. Subobject) and quotient objects (cf. Quotient object) of its objects, and if for the exact sequence
![]() |
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).
References
[1] | I. Bucur, A. Deleanu, "Introduction to the theory of categories and functors" , Wiley (1968) |
[2] | P. Freyd, "Abelian categories: An introduction to the theory of functors" , Harper & Row (1964) |
[3] | P. Gabriel, "Des categories Abéliennes" Bull. Soc. Math. France , 90 (1962) pp. 323–448 |
[4] | A. Grothendieck, "Sur quelques points d'algèbre homologique" Tohôku Math. J. , 9 (1957) pp. 119–221 |
Comments
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.
References
[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=44963