1

Some sources define an abelian category as

a pre-abelian category where every mono is the kernel of its cokernel and epi is the cokernel of its kernel.

Some other sources define an abelian category as

a pre-abelian categories where every mono is a kernel and every epi a cokernel (not necessarily of their cokernel or kernel).

Are these two definitions equivalent?

Sammy Black
  • 28,409
Laplace series
  • 411
  • 2
  • 6

0 Answers0