Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added missing pointer to commutative monoid in a symmetric monoidal category
Added reference
I have complemented the pointer to HoTT with one to univalent foundations.
While the term “univalent foundations” in itself isn’t great, it does serve to warn the reader that authors are interested only in the hSets inside HoTT, which helps avoid being potentially misleading in titles such as this one, where the reader will look in vain for discussion paralleling that of “commutative monoids in homotopy theory” as commonly understood (namely something like $E_n$-monoids).
1 to 5 of 5