Assertion: associative algebra | /r/HasProperty | a monoid object
Facets:
value: in r-mod
type: LOCATION
Source sentences:
text: The definition is equivalent to saying that a unital associative R-algebra is a monoid object in R-Mod (the monoidal category of R-modules).