Assertion: symmetric algebra | /r/HasProperty | left adjoint
Facets:
value: to the forgetful functor
type: TRANSITIVE-OBJECT
Source sentences:
text: The universal property can be reformulated by saying that the symmetric algebra is a left adjoint to the forgetful functor that sends a commutative algebra to its underlying module.