Assertion: symmetric algebra | /r/HasProperty | functor
Facets:
Source sentences:
text: The symmetric algebra is a functor from the category of K-modules to the category of K-commutative algebra, since the universal property implies that every module homomorphism f : V → W