Higher Prequantum Geometry
(arXiv:1601.05956, v2, talk recording)
chapter in
Gabriel Catren, Mathieu Anel (eds.)
This is an expository survey of
and its formalization in differential cohomology in a cohesive topos.
Related surveys include
Related talk slides include
Prequantum field theory (pdf)
$\,$
$\,$
Related projects:
Last revised on December 11, 2017 at 05:10:29. See the history of this page for a list of all contributions to it.