Author Archives: Felix Cherubini
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.
Posted in Meeting, News Leave a comment
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
Posted in Uncategorized 8 Comments