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.
John Baez (Apr 11 2020 at 01:11):Harley Eades writes:
This year I’m the faculty chair of the School of Computer and Cyber Sciences’ Colloquium Series. As many of you, I’ve had to transition this course online. Thus, when choosing the final speaker of the semester I did not take distance into consideration, because the requirement to physically come to Augusta University and present is no longer required. In addition, since there is no need for financial support, I’m also more free in who I ask to present.
So I am happy to announce that Paul-André Melliès will be our final presenter of the semester, but that’s not all! I have 100 seats available on my Zoom account, and only 30 of them will be needed for AU students and faculty. That leaves open 70 seats! So I am taking RSVPs from anyone who would like to attend the talk online.
John Baez (Apr 11 2020 at 01:12):The presentation information is as follows:
John Baez (Apr 11 2020 at 01:13):Abstract: Game semantics is the art of interpreting formulas (or types) as games and proofs (or programs) as strategies. In order to reflect the interactive behaviour of programs, strategies are required to follow specific scheduling policies. Typically, in the case of a sequential programming language, the program (Player) and its environment (Opponent) play one after the other, in a strictly alternating way. On the other hand, in the case of a concurrent language, Player and Opponent are allowed to play several moves in a row, in a non alternating way. In the two cases, the scheduling policy is designed very carefully in order to ensure that the strategies synchronise properly and compose well when plugged together. A longstanding conceptual problem has been to understand when and why a given scheduling policy works and is compositional in that sense. In this talk, I will introduce the notion of template game and exhibit a number of simple and fundamental combinatorial properties which ensure that a given scheduling policy defines (indeed) a monoidal closed bicategory of games, strategies and simulations. The notion of template game will be illustrated by constructing two game models of linear logic with different flavours (alternating and non alternating) using the same categorical combinatorics, performed in the category of small 2-categories.
Nathanael Arkor (Apr 11 2020 at 01:17):if the number of places is limited by licensing, can't an alternative venue like YouTube be used?
Nathanael Arkor (Apr 11 2020 at 01:18):it would be sad if people had to miss out on this simply because of Zoom limitations
John Baez (Apr 11 2020 at 01:19):Talk to @Harley Eades III.
John Baez (Apr 11 2020 at 01:22):He may only get interested in this issue after 70 more express interest in this talk.
But if he's not already planning to make this available afterwards on YouTube, he should! It's so easy that there's no excuse not to do it (unless the speaker doesn't want it). We are now in the position to easily "immortalize" math talks and make it possible for everyone, even years later, to watch them.
Cyphase (Apr 11 2020 at 01:45):John Baez said:
We are now in the position to easily "immortalize" math talks and make it possible for everyone, even years later, to watch them.
Reminds me of this (the relevant portion is about 25s long): https://www.youtube.com/watch?v=gM95HHI4gLk&t=5m28s
Harley Eades III (Apr 13 2020 at 15:34):John Baez said:
He may only get interested in this issue after 70 more express interest in this talk.
But if he's not already planning to make this available afterwards on YouTube, he should! It's so easy that there's no excuse not to do it (unless the speaker doesn't want it). We are now in the position to easily "immortalize" math talks and make it possible for everyone, even years later, to watch them.
I am discussing it with the speaker currently, but it most likely will be uploaded to YouTube after.
Harley Eades III (Apr 13 2020 at 15:35):Nathanael Arkor said:
if the number of places is limited by licensing, can't an alternative venue like YouTube be used?
You are correct it is a licensing issue, but this is also a course in my department, and so I cannot change the virtual venue due to that, but we will most likely be uploading this talk to YouTube after. So no one will miss out on the content of the presentation.
Faré (Apr 15 2020 at 06:03):Will the April 24th event be recorded and/or will it be possible to join remotely?
John Baez (Apr 15 2020 at 06:19):There was a lot of information given above on both these questions.
Christian Williams (Apr 24 2020 at 17:33):Ah, so we had to RSVP to get the link. That's unfortunate.
Reid Barton (Apr 24 2020 at 21:30):Oh, oops. Any word on whether it will be available on YouTube?
Nathanael Arkor (Apr 24 2020 at 21:48):Harley Eades III said:
Nathanael Arkor said:
if the number of places is limited by licensing, can't an alternative venue like YouTube be used?
You are correct it is a licensing issue, but this is also a course in my department, and so I cannot change the virtual venue due to that, but we will most likely be uploading this talk to YouTube after. So no one will miss out on the content of the presentation.
Harley Eades III (Apr 26 2020 at 23:39):John Baez said:
Harley Eades writes:
This year I’m the faculty chair of the School of Computer and Cyber Sciences’ Colloquium Series. As many of you, I’ve had to transition this course online. Thus, when choosing the final speaker of the semester I did not take distance into consideration, because the requirement to physically come to Augusta University and present is no longer required. In addition, since there is no need for financial support, I’m also more free in who I ask to present.
So I am happy to announce that Paul-André Melliès will be our final presenter of the semester, but that’s not all! I have 100 seats available on my Zoom account, and only 30 of them will be needed for AU students and faculty. That leaves open 70 seats! So I am taking RSVPs from anyone who would like to attend the talk online.
The recording of the talk is up and you can find it here: https://youtu.be/b6FHzy5xJZ4
