Assertion: ring | /r/HasProperty | thought as monoid
Facets:
value: in ab
type: LOCATION
Source sentences:
text: Every ring can be thought of as a monoid in Ab, the category of abelian groups (thought of as a monoidal category under the tensor product of Z {\displaystyle {\mathbb {Z} }} -modules).