$\omega$ $\aleph$ $\infty$
Mathematical Logic at Fudan

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.

We have a Wechat group. Please contact Jianan Zhou (Email: 20307110063@fudan.edu.cn or Wechat: 13917369472) to join.