Preadditive category
= Preadditive category
{wiki}
A <category> is preadditive if every hom-set is an <abelian group> and composition is additive in each variable. Zero morphisms and differences of parallel morphisms are therefore defined. A <zero object> or finite <biproducts> need not exist; these are extra requirements in an <additive category>.