Axiom for abelian categories