A "working mathematician's" definition of semi-abelian categories

Manfred Hartl, Bruno Loiseau

Semi-abelian and finitely cocomplete homological categories are characterized in terms of four resp. three simple axioms, in terms of the basic categorical notions introduced in th…