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.
Paolo Perrone (Oct 20 2020 at 12:55):Hi all! Here is the discussion thread for Tarmo Uustalu's talk, "Monad-comonad interaction laws, monad algebras, comonad coalgebras".
When: Thursday October 22nd, 12 noon EDT (Boston time)
Zoom meeting:
https://mit.zoom.us/j/280120646
Meeting ID: 280 120 646
Youtube live stream:
https://youtu.be/HKJ3_WcXW64
Paolo Perrone (Oct 22 2020 at 15:53):Hello all! We start in 7 minutes!
Paolo Perrone (Oct 22 2020 at 17:30):Some references:
http://cs.ioc.ee/~tarmo/papers/katsumata-rivas-uustalu-lics20.pdf
http://cs.ioc.ee/~tarmo/papers/uustalu-voorneveld-aplas20-authorver.pdf
Paolo Perrone (Oct 22 2020 at 17:31):See also this related talk:
https://youtu.be/0CUcWJoPvwc
Paolo Perrone (Oct 22 2020 at 17:31):As well as this:
https://youtu.be/ER1ouCSacgE
Paolo Perrone (Oct 22 2020 at 21:18):The video of our talk is here:
https://youtu.be/LHIKGC_oxFA
