Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 28 页 · Chapter II, Section 6
A preadditive category is a category whose hom-sets are additive abelian groups and whose composition is bilinear.