Schreiber Differential generalized cohomology in Cohesive homotopy type theory

A talk that I once gave:


on the differential cohomology hexagon in cohesive homotopy type theory and some comments on the application to Synthetic Quantum Field Theory.


Last revised on March 26, 2022 at 01:53:18. See the history of this page for a list of all contributions to it.