Timeline for Is there a canonical product on the category of monads on Set?

Current License: CC BY-SA 4.0

11 events

when toggle format	what		by	license	comment
Sep 25, 2023 at 20:06	history	bumped	CommunityBot		This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
May 28, 2023 at 20:04	history	bumped	CommunityBot		This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Jan 28, 2023 at 19:00	history	bumped	CommunityBot		This question has answers that may be good or bad; the system has marked it active so that they can be reviewed.
Dec 29, 2022 at 18:45	answer	added	Sean Sanford		timeline score: 1
Dec 29, 2022 at 6:43	comment	added	მამუკა ჯიბლაძე		Sorry for confusion - in the previous comment I used the word "connection" having in mind no rigorous mathematical concept, I just meant relationship. You discuss separately a distributive law and separately some monoidal structure on monads, without saying how these two are related to each other. You still don't have any requirement on the functor part of $M_S\otimes M_T$. Is $M_S\otimes M_T$ the monad structure on $ST$ obtained from the distributive law or is it something else?
Dec 29, 2022 at 2:02	history	edited	mathlete42	CC BY-SA 4.0	edited body
Dec 29, 2022 at 1:55	history	edited	mathlete42	CC BY-SA 4.0	added 4 characters in body
Dec 28, 2022 at 23:41	history	edited	mathlete42	CC BY-SA 4.0	added 375 characters in body
Dec 28, 2022 at 23:35	history	edited	mathlete42	CC BY-SA 4.0	added 375 characters in body
Dec 28, 2022 at 23:30	comment	added	მამუკა ჯიბლაძე		You also want the underlying endofunctor of $M_S\otimes M_T$ to be $ST$? Because you do not mention it, the connection between the distributive laws and $\otimes$ is not clear.
Dec 28, 2022 at 23:20	history	asked	mathlete42	CC BY-SA 4.0