Author Archives: Felix Cherubini
Workshop on Synthetic Algebraic Geometry
We are organizing a workshop on synthetic algebraic geometry at the University of Gothenburg/Chalmers from the 11th to 15th of March 2024. There will be introductory lectures – newcomers to synthetic algebraic geometry are welcome to join. Synthetic algebraic geometry … Continue reading
Geometry in Modal HoTT now on Zoom
The workshop Geometry in Modal HoTT taking place next week at cmu will be available for online participation via Zoom! The recorded talks will be available on youtube (provided the speakers give their consent) sometime after the workshop.
Differential Geometry in Modal HoTT
As some of you might remember, back in 2015 at the meeting of the german mathematical society in Hamburg, Urs Schreiber presented three problems or “exercises” as he called it back then. There is a page about that on the … Continue reading
Homotopy Type Theory 