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.
Valeria de Paiva (Oct 15 2022 at 04:47):Another small bit of celebration for Dana Scott's 90th Birthday: the Peripatetic Seminar on Sheaves and Logic (PSSL) is an informal meeting of categorists, type theorists and logicians, started in 1976 by Dana Scott, while in Oxford. There's now an nLab page, but we only have the titles of the talks till the 100th PSSL. We're missing at least 5 meetings and help providing webpages or listings of the talks for these missing meetings would be much appreciated!
Nathanael Arkor (Oct 15 2022 at 09:40):There have been 6 meetings since PSSL 100.
Nathanael Arkor (Oct 15 2022 at 09:41):By the way, for later PSSL meetings, it's possible to find talk abstracts as well as talk titles. It would be nice to include these in the document for archival purposes (or perhaps directly on the nLab).
Nathanael Arkor (Oct 15 2022 at 09:50):PSSL-103-schedule.pdf
PSSL-103-abstracts.pdf
Valeria de Paiva (Oct 16 2022 at 12:56):Great @Nathanael Arkor ! but why didn't you add this directly to the nLab? I thought this was the point of the nLab?
Nathanael Arkor (Oct 16 2022 at 13:01):@Valeria de Paiva: the contents of the PSSL history document are not on the nLab. I thought whoever was responsible for that document would want to update it. I agree it would be nice if the contents were available on the nLab directly, though.
Valeria de Paiva (Oct 16 2022 at 13:15):The file was produced by Dr Julia Goedecke, a former student of PTJ, who, as far as I know, is not in this zulip. I don't have the latex source for it. If I had, I would've put it in GitHub, as there are titles missing, and it would indeed be nice to have abstracts for all possible talks.
Jean-Baptiste Vienney (Oct 16 2022 at 15:54):I added the links from @Nathanael Arkor to the nLab page
Beppe Metere (Oct 17 2022 at 06:50):Hi @Valeria de Paiva , I organized PSSL105 in Palermo. Abstracts of the talks are on the website, however here they are: pssl_105_programme_with_abstracts.pdf
Beppe Metere (Oct 17 2022 at 06:51):Please tell me if you need anything else.
Valeria de Paiva (Oct 17 2022 at 15:13):Many thanks Beppe! but why don't you just add it to the nLab page? very
best,
Valeria
Steve Awodey (Oct 17 2022 at 22:15):Valeria de Paiva said:
Another small bit of celebration for Dana Scott's 90th Birthday: the Peripatetic Seminar on Sheaves and Logic (PSSL) is an informal meeting of categorists, type theorists and logicians, started in 1976 by Dana Scott, while in Oxford. There's now an nLab page, but we only have the titles of the talks till the 100th PSSL. We're missing at least 5 meetings and help providing webpages or listings of the talks for these missing meetings would be much appreciated!
oops - page not found!
Mike Shulman (Oct 17 2022 at 22:34):This zulip has a nice syntax extension where you can just type the name of an nLab page in double-brackets, like you do on the nLab itself: [[Peripatetic Seminar on Sheaves and Logic]].
Valeria de Paiva (Oct 18 2022 at 23:52):Thanks @Beppe Metere and thanks @Jean-Baptiste Vienney for adding information to the page!
Valeria de Paiva (Oct 18 2022 at 23:54):And thanks @Steve Awodey and @Mike Shulman for correcting the link!