abelian category

noun1

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

forms

abelian categories

This dictionary works without the internet: on your phone · in Chrome