Category Theory
Zulip Server
Archive

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.

Stream: event: ACT20

Topic: July 7: Bryce Clarke's talk

view this post on Zulip Paolo Perrone (Jul 02 2020 at 02:24):

Hello all! This is the thread of discussion for the talk of Bryce Clarke, "A diagrammatic approach to symmetric lenses".
Date and time: Tuesday July 7, 12:10 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=MIfh-LndWv8&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q

view this post on Zulip Bryce Clarke (Jul 07 2020 at 10:43):

Here is a link to the paper for my talk: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2020:35

view this post on Zulip Paolo Perrone (Jul 07 2020 at 11:55):

This talk will start in 15 minutes.

view this post on Zulip Bryce Clarke (Jul 07 2020 at 12:48):

Here are the slides for the talk: ACT2020-Presentation-A-diagrammatic-approach-to-symmetric-lenses.pdf

view this post on Zulip Paolo Perrone (Jul 07 2020 at 19:44):

Here's the video!
https://www.youtube.com/watch?v=uThpMAUe6W0&list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI