Student Seminar on Topos Theory 2023 Autumn
Organized by Jianan Zhou (周佳楠)
We meet online at 14:00 - 16:00 each Saturday (GMT +8) from October 21 to the end of the semester.
Tencent meeting ID: 4248 3014 764, passcode: 666666.
We will be focusing on Jacob Lurie's lecture notes on categorical logic.
Audiences are expected to be familiar with basic concepts from category theory and first-order logic.