preadditive category
mathematical category whose hom sets form Abelian groups
pseudo-abelian category
preadditive category such that every idempotent has a kernel
additive category
preadditive category with finite biproducts
mathematical category whose hom sets form Abelian groups