Definition:Abelian Category

Also see

 * Equivalence of Definitions of Abelian Category
 * Category of Modules is Abelian