Ontify
Pre-abelian category in which the pushout of a kernel along arbitrary morphisms is again a kernel and the pullback of a cokernel along arbitrary morphisms is again a cokernel.