Assertion: abelian group's property | /r/SimilarTo | those of a commutative monoid
Facets:
value: formally
type: MANNER
Source sentences:
text: These properties are formally similar to those of a commutative monoid; a category with finite coproducts is an example of a symmetric monoidal category.