 It is therefore natural to consider arbitrary preadditive categories to be generalizations of rings.And indeed, many definitions and theorems originally given for rings can be translated to this more general context.Additive functors between preadditive categories generalize the concept of ring homomorphism, and ideals in additive categories can be defined as sets of morphisms closed under addition and under composition with arbitrary morphisms.