1.Previous
3.Next

In Def. 1.2.6, it is required that an additive category have a zero object (empty biproduct).
* An additive category is preabelian if every morphism has both a kernel and a cokernel.
* Finally, a preabelian category is abelian if every monomorphism and every epimorphism is normal.

1.Previous
3.Next