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 September 14, 2022 at 06:49:40. See the history of this page for a list of all contributions to it.