Assertion: algebra's set | /r/HasProperty | closed under addition
Facets:
value: under composition with arbitrary morphisms
type: OTHER
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.