Definition:Abelian Category/Definition 2

From ProofWiki
Jump to navigation Jump to search

Definition

An abelian category is a pre-abelian category in which:

every monomorphism is the kernel of its cokernel
every epimorphism is the cokernel of its kernel


Also see

  • Results about abelian categories can be found here.


Sources