Assertion: algebra's property | /r/HasProperty | reformulated
Facets:
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.