Definition:Abelian Category/Definition 2

Definition
An abelian category is a pre-abelian category in which:
 * every monomorphism is the kernel of its cokernel
 * every epimorphism is the cokernel of its kernel

Also see

 * Equivalence of Definitions of Abelian Category