abelian category

noun
Graduate
1

A pre-abelian category such that all monomorphisms are kernels of some morphism, and all epimorphisms are cokernels of some morphism.