PlanetPhysics/Abelian Category

The following is the definition of an Abelian category according to Barry Mitchell (1965).

Definition

An Abelian category is an exact additive category with finite products.

The following theorem from ref. is also relevant as it relates key properties of Abelian categories:

The following statements are equivalent:

1. ${\mathcal {A}}$ is an Abelian category;
2. ${\mathcal {A}}$ has kernels, cokernels, finite products, finite coproducts, and is both normal and comormal;
3. ${\mathcal {A}}$ has pushouts and pullbacks and is both normal and conormal.