Abelian category
The following is the definition of an Abelian category according to Barry Mitchell (1965).
Definition 0.1
An
Abelian category is an
exact
additive category with finite products.
The following theorem from ref.[1] is also relevant as it relates key properties of Abelian categories:
“The following statements are equivalent:
-
is an Abelian category;
-
has kernels, cokernels, finite products, finite coproducts,
and is both normal and comormal;
-
has pushouts and pullbacks and is both normal and conormal”.
- 1
-
Barry Mitchell. Theory of Categories, Academic Press: New York and London, 1965,
(Theorem 20.1 on p.33).
Contributors to this entry (in most recent order):
As of this snapshot date, this entry was owned by bci1.