Monthly Archives: August 2018
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