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 October 13, 2017 at 11:20:26. See the history of this page for a list of all contributions to it.