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.
Eric M Downes (Jul 13 2024 at 18:13):@Benedikt Peterseim will talk this very Wednesday at our usual time about _ Higher-Order Probability: Probability Monads on Cartesian Closed Categories_ … can’t wait!
Benedikt Peterseim (Jul 17 2024 at 11:45):Small reminder that this is today. Looking forward to seeing you there!
Eric M Downes (Jul 17 2024 at 12:05):In two hours even!!
Jean-Baptiste Vienney (Jul 17 2024 at 13:49):(Zoom link is here)
Jean-Baptiste Vienney (Jul 17 2024 at 14:05):Starting noooooow
Eric M Downes (Jul 17 2024 at 16:10):Recording posted to dropbox!
(If someone could look in on Jean-Baptiste? that last message suggests his power might be running low...)
Jean-Baptiste Vienney (Jul 17 2024 at 16:50):Robin Cockett was taking my pulse at the end of a hike 5 days ago (and not the contrary) cause I was not far from passing out. So yeah...
Todd Trimble (Jul 17 2024 at 22:56):Good heavens. What happened? Was this high altitude?
Jean-Baptiste Vienney (Jul 18 2024 at 00:33):I think I just walked way too fast and it was pretty hot. I was already a bit tired also. I didn't eat much at lunch too.
More generally, everybody was tired at FMCS due to hotness probably, and several people got sick: 5 people had a stomach bug due to a virus in the station (we were in Kananaskis) + we had one case of covid.
This morning I didn't remember that we have a seminar before seeing the message of Benedikt ahah. I've been a bit tired lately. I forgot my computer for FMCS also ahah.
Eric M Downes (Jul 18 2024 at 08:34):I can handle the administrivia for now, Jean-Baptiste, but we'll need you in the fall for speaker recruitment, so dont get too sick! ... In all seriousness, I hope you are ok, and wish for you that you can take a vacation and a health-checkup. Please don't tire yourself out on anyone else's account.
Benedikt's slides are here and I've added them to dropbox as well.