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 (Jul 02 2020 at 02:23):Hello all! This is the thread of discussion for the talk of Michael Johnson and Robert Rosebrugh, "The more legs the merrier: A new composition for symmetric (multi-)lenses".
Date and time: Tuesday July 7, 12:35 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=MIfh-LndWv8&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q
Paolo Perrone (Jul 07 2020 at 12:30):The talk will start in 5 minutes!
Aleks Kissinger (Jul 07 2020 at 12:41):is the "pullback" of lenses a weak pullback?
Paolo Perrone (Jul 07 2020 at 12:45):For those who don't know, the "school" Michael talked about is the ACT adjoint school.
Bryce Clarke (Jul 07 2020 at 12:53):Here is the paper for Mike's talk: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2020:45
Martha Lewis (Jul 07 2020 at 13:08):All who want to chat to Michael Johnston or other Lens-related sessions, please meet in the PureCT Jitsi room
Martha Lewis (Jul 07 2020 at 13:09):https://meet.jit.si/ACT2020-PureCT
Paolo Perrone (Jul 07 2020 at 20:36):Here's the video!
https://www.youtube.com/watch?v=njDvKkG1AWk&list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI
