semi-abelian category

pre-abelian category in which the induced morphism coim 𝑓 → im 𝑓 is a bimorphism for any morphism 𝑓