Definition:Abelian Category/Definition 3

Definition
An abelian category is a pre-abelian category in which
 * for every morphism $f$, the canonical morphism from its coimage to its image $\map {\operatorname {coim} } f \to \Img f$ is an isomorphism.

Also see

 * Equivalence of Definitions of Abelian Category