Definition:Abelian Category/Definition 1

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

Also see

 * Equivalence of Definitions of Abelian Category