Assertion: abelian group | /r/CapableOf | send commutative monoid m
Facets:
value: to its grothendieck group
type: TRANSITIVE-OBJECT
Source sentences:
text: In the language of category theory, any universal construction gives rise to a functor; one thus obtains a functor from the category of commutative monoids to the category of abelian groups which sends the commutative monoid M to its Grothendieck group K.