Daily Archives: August 31, 2018

Differential Geometry in Modal HoTT

Originally posted on Homotopy Type Theory:
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…

Posted in Philosophie