abelian category
Short definition from Wiktionary
Noun
- A pre-abelian category such that all monomorphisms are kernels of some morphism, and all epimorphisms are cokernels of some morphism.
We haven’t written up abelian category yet: Simple and Standard meanings, examples and a quiz.