# Abelian category

Jump to navigation
Jump to search
↑ http://planetphysics.us/encyclopedia/AbelianCategory2.html T

An **Abelian category** is defined as follows according to Barry Mitchell (1965).

**Definition**: "*An Abelian category is an exact, additive category with finite products.*"

The following theorem from ref.[2] is also relevant as it specifies the key properties of all Abelian categories^{[1]} :

“The following statements are equivalent:

## References[edit]

*he Fundamental Abelian Category Theorem*

- 2. Barry Mitchell. "
*Theory of Categories*". Academic Press: New York and London, 1965, (Theorem 20.1 on p.33).