Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: general

Topic: commutative monads

view this post on Zulip John Baez (Aug 11 2020 at 20:05):

Here's something you can tell people to make their heads spin:

The commutative monoid monad is a commutative monad.

view this post on Zulip John Baez (Aug 11 2020 at 22:34):

Here is a blog article I just wrote, with a bunch of questions in it:

view this post on Zulip Nathanael Arkor (Aug 11 2020 at 23:10):

Regarding Puzzle 1, the composite of two commutative monads ought to be commutative if the distributive law is monoidal (i.e. a distributive law in MonCat). At the very least, it ought to be a monoidal natural transformation, so I don't see why this would hold in general.

view this post on Zulip John Baez (Aug 12 2020 at 19:51):

Thanks! Sam Staton's reply and my comment thereon shed some more light on this puzzle.