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

## Student Seminar on Topos Theory 2023

#### Organized by Jianan Zhou (周佳楠)

We meet in HGX203 at 18:30 every Thursday from March 16 to the end of the semester.

The goal of the seminar is to develop some basic understandings of topos theory. We hope to cover most of the subjects from Sheaves in Geometry and Logic and maybe more.

• March 16: The Category of Sets. Handout.
• March 23: Functors, Variable Sets, and the Yoneda Lemma. Handout.