# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJul 27th 2018
• CommentRowNumber2.
• CommentAuthorJohn Baez
• CommentTimeFeb 12th 2021

Added some basic facts about commutative monoids (in $Set$).

1. analog for commutative monoids of the fact that abelian groups are Z-modules.

Anonymous

• CommentRowNumber4.
• CommentAuthorDavid_Corfield
• CommentTimeOct 21st 2021

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeOct 22nd 2021

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).