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: Joseph Razavi et al.'s talk

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

Hello all! This is the thread of discussion for the talk of Joseph Razavi and Andrea Schalk, "Gandy Machines Made Easy via Category Theory".
Date and time: Tuesday July 7, 17:35 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=Is5mWZcCVf0&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q

view this post on Zulip Paolo Perrone (Jul 07 2020 at 17:35):

The talk will begin shortly!

view this post on Zulip Juan Ferrer Meleiro (Jul 07 2020 at 18:03):

Is there a link to a paper accompaning the talk?

view this post on Zulip Joe Razavi (Jul 07 2020 at 19:17):

Hi! You can find the talk abstract we submitted at http://www.cs.man.ac.uk/~schalk/act2020.pdf but it's a bit terse. A nicer account is in our paper from 2018, https://arxiv.org/abs/1904.10109 , although that's now a bit old.

view this post on Zulip Juan Ferrer Meleiro (Jul 07 2020 at 20:13):

Thanks.

view this post on Zulip Paolo Perrone (Jul 07 2020 at 23:05):

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