27 May
2025
27 May
'25
11:10 p.m.
Sorry for the late message. We should have a meeting tomorrow morning as usual. Having recently reviewed the material, I intend to complement Jonas' past two weeks with an explanation of how classifying toposes can be constructed. BBB link: https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j We should start and end more promptly than usual since I am giving a talk at the /Sheaves in Geometry and Logic /reading group at IRIF at 2pm in the afternoon about geometric morphisms. See you tomorrow! Morgan