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.
Martha Lewis (May 06 2023 at 19:10):Hi all, clearing out my mum's attic I found a box of old lecture notes on category theory from the 70's. She was a grad student then. Does anyone have recommendations on finding out whether they would be interesting/useful to others? I will of course look everything up online but also have a lot of other stuff to go through so any shortcuts welcomed!
Morgan Rogers (he/him) (May 06 2023 at 20:27):Who gave the lectures?
Martha Lewis (May 06 2023 at 21:50):Hi, looking closer quite a lot of it may well be available online, e.g. quite a few bound lecture notes from Aarhus, and preprints. Stuff that is maybe less readily available: teaching notes from a category theory seminar at University of Sussex by Christopher Mulvey, 1970,71,73, abstracts of lectures given at that seminar in 1976, some class notes on sheaves and logic by Dana Scott, early drafts of a couple of papers.
David Michael Roberts (May 07 2023 at 12:37):Scan as many as you can!
Ivan Di Liberti (May 07 2023 at 12:40):This would be of great interest to me.
Morgan Rogers (he/him) (May 07 2023 at 13:13):Same! I would love to learn Scott's perspective on sheaves!!
Martha Lewis (May 07 2023 at 15:35):Glad it’s of interest - I’ll give a full list later on and let me know what people have interest in. Will also check on who I should check with before scanning and sharing, the authors/family I guess.