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