abelian categoryWiktionary 原文英美释义名词noun1(mathematics) A pre-abelian category such that all monomorphisms are kernels of some morphism, and all epimorphisms are cokernels of some morphism.