In mathematics, specifically in category theory, a preadditive category is a category that is enriched over the monoidal category of abelian groups. In other words, the category C is preadditive if every hom-set Hom(A,B) in C has the structure of an abelian group, and composition of morphisms is bilinear.