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.
Francesco Tognetti (Jan 23 2025 at 14:36):Good morning! I've started venturing into co/algebraic modal logic and I'm noticing that basically everything is done in a Kleisli category, as in: everything described in Venema's "Algebras and Coalgebras" so far can be described as some endofunctor in a category of free algebras over some set-valued monad (Also took part in ItaCa this winter and the term "Kleisli Category" was thrown around multiple times so I guess it must be quite important for categorial logic in general). Are there any resources you can recommend to learn more about monads comonads and their free co/algebras? I'm sure that they must have nice properties and I'd like to have some resources to gain expertise
Thanks in advance
Ralph Sarkis (Jan 23 2025 at 14:42):@Dan Marsden posted a long series of blog posts (starting here) on monads, and he usually listed additional references on the different aspects covered. I do not remember there being much material on comonads in this series.
Francesco Tognetti (Jan 23 2025 at 14:46):Thanks! I'll check it out right now