An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 7 页 · Definition 1.2.2
An abelian category is an additive category in which every map has a kernel and a cokernel, every monomorphism is a kernel, and every epimorphism is a cokernel.