Page "Additive category" Paragraph 34

Conversely, given any ring, we can form a category by taking objects A < sub > n </ sub > indexed by the set of natural numbers ( including zero ) and letting the hom-set of morphisms from to be the set of-by-matrices over, and where composition is given by matrix multiplication.

Then is an additive category, and equals the-fold power.