Most of this week went to preparing the slides for the upcoming conference Foundations2026 (draft available here ) and for the upcoming summer school.
Live on units and differential geometry. We have a nice discussion on how to extend notions of differentials to both include units and work in infinite dimensions. This is an ongoing open problem that prevents a clear generalization of our results from mechanics to field theories.