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 01 2020 at 20:49):Hello all! This is the thread of discussion for the talk of Christine Tasson and Martin Hyland, "The linear-non-linear substitution 2-monad".
Date and time: Thursday July 9, 11:40 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=aXpjE82yy-8&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q
Paolo Perrone (Jul 09 2020 at 11:37):This talk starts in 3 minutes.
Tarmo Uustalu (Jul 09 2020 at 12:10):Hi Christine, thanks for the great talk. Can you share your slides? Thanks.
Christine Tasson (Jul 09 2020 at 12:49):Hi Tarmo, thanks ! Here is a link to the slides : https://cloud.math.univ-paris-diderot.fr/s/qQtW5dgeGzrj9oM
Tarmo Uustalu (Jul 09 2020 at 12:54):Thanks, Christine!
Niccolò Veltri (Jul 09 2020 at 13:04):Hi Christine, thanks for the nice talk.
Here is my question.
You consider a calculus with context split into a linear and a non-linear part.
What about having a relevant and a non-relevant part instead?
Or even more exotic way of splitting the context into several parts, each satisfying different structural rules?
Do you think it is possible to come up with substitution monads for these more general situations?
Christine Tasson (Jul 09 2020 at 13:45):Hi Niccolò, Thanks !
Our construction does not rely on the linear and non linear part, but rather on the existence of a map between the two kinds of contexts. So that if you have this map between contexts, then it should work.
Paolo Perrone (Jul 09 2020 at 15:14):Here's the video!
https://www.youtube.com/watch?v=JEYese4kF-8&list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI
