AB5 category
In mathematics, Alexander Grothendieck (1957) in his "Tôhoku paper" introduced a sequence of axioms of various kinds of categories enriched over the symmetric monoidal category of abelian groups. Abelian categories are sometimes called AB2 categories, according to the axiom (AB2).