An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 425 页 · Appendix A.4
An additive category is an Ab-category with a zero object and a product \(A\times B\) for every pair of objects; finite products and finite coproducts then coincide.