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 9: Nicolas Blanco et al.'s talk


view this post on Zulip Paolo Perrone (Jul 01 2020 at 20:50):

Hello all! This is the thread of discussion for the talk of Nicolas Blanco and Noam Zeilberger, "Bifibrations of Polycategories and Classical Linear Logic".
Date and time: Thursday July 9, 11:00 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=aXpjE82yy-8&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q

view this post on Zulip Nicolas Blanco (Jul 08 2020 at 21:12):

Hello all! Let me just say that you can find the paper that the talk will be based on there. I will be happy to answer any questions about it during the talk or afterwards. I will post the slides later on.

view this post on Zulip Paolo Perrone (Jul 09 2020 at 10:35):

25 minutes to start!

view this post on Zulip Paolo Perrone (Jul 09 2020 at 11:01):

(just started)

view this post on Zulip Paolo Perrone (Jul 09 2020 at 14:51):

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

view this post on Zulip xavier (mathematical artist) (Jul 09 2020 at 15:05):

I’ll be on the gathertown for anyone who wants to chat art, psychology, and philosophy .

https://gather.town/n3WuxZO61Xq9p1Gq/act2020