Title: The symmetric algebra’s other universal properties (joint work with Richard Garner)
Abstract:
The symmetric algebra is known for being the free commutative algebra over a vector space. Therefore, it is universal amongst commutative algebras. It turns out, the symmetric algebra also has another universal property which can be used to construct the initial monoidal differential modality.