Assertion: ring's ideal | /r/HasProperty | defined
Facets:
Source sentences:
text: 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.