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.
Dan Marsden (Sep 02 2026 at 12:36):I've written a monad theory blog post describing various perspectives on pseudomonads. Normally I don't advertise my monad theory posts on here for fear of spamming. In this case the post emerged from background reading relating to some current work, so I'm pushing the limits of my comfort zone, and would gladly welcome feedback from the experts here if my intuitions are off or missing anything important, (or I'm saying anything just plain wrong!).
https://stringdiagram.com/2026/09/02/a-pseudomonad-is/
Ralph Sarkis (Sep 02 2026 at 12:41):Oh you've restarted to blog. I was subscribed to it, but it looks like I stopped receiving updates. I see that the topic #community: blog feeds > stringdiagram.com (Dan Marsden) also stopped working (well it worked only once).
Dan Marsden (Sep 02 2026 at 12:43):Yes, I had a period of writers block, but recent work suggested some ideas to breath new life into things.
Nathanael Arkor (Sep 05 2026 at 09:50):@Dan Marsden: regarding the closing question in your recent blog post, regarding the relationship between distributive laws and tensor products of enriched categories, see 2-dimensional bifunctor theorems and distributive laws (particularly the antepenultimate paragraph of the paper).
Nathanael Arkor (Sep 05 2026 at 09:50):I don't know whether this idea has since been explored in any detail for enriched categories (I suspect not).
Dan Marsden (Sep 05 2026 at 10:51):@Nathanael Arkor Thanks for the reference, I was not aware of that paper.