Additive categories

sequence of homomorphisms such that each kernel equals the preceding image

preadditive category with a zero object and all binary biproducts, kernels and cokernels in which all monomorphisms and epimorphisms are normal

functor that preserves short exact sequences

preadditive category with finite biproducts

Additive category in homological algebra

mathematical category whose hom sets form Abelian groups