A talk that I gave:
Differential cohomology is Cohesive homotopy theory
talk at Higher Geometric Structures along the Lower Rhine, 19-20 June 2014
(talk notes: pdf)
on how cohesion is a faithful axiomatization of generalized differential cohomology including differential moduli stack constructions such as that of intermediate Jacobians in higher complex analytic geometry.
Differential generalized cohomology in Cohesive homotopy type theory, talk at Formalization of Mathematics, IHP, Paris, 5-9 May 2014
Some thoughts on the future of modal homotopy type theory, talk at German Mathematical Societty meeting 2015, Hamburg
Last revised on February 21, 2018 at 10:20:32. See the history of this page for a list of all contributions to it.