Higher Prequantum Geometry
(arXiv:1601.05956, v2, talk recording)
chapter in:
Gabriel Catren, Mathieu Anel (eds.)
New Spaces for Mathematics and Physics
Cambridge University Press 2021
This is an expository survey of
and its formalization in differential cohomology in a cohesive topos.
Related surveys:
Related talk:
Prequantum field theory (pdf)
Related projects:
$\,$
$\,$
Last revised on October 21, 2023 at 10:15:16. See the history of this page for a list of all contributions to it.