Schreiber Higher Prequantum Geometry

---

• Urs Schreiber

  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

  doi:10.1017/9781108854399.008

---

This is an expository survey of

• Local prequantum field theory via Synthetic variational calculus

and its formalization in differential cohomology in a cohesive topos.

Related surveys:

• Synthetic prequantum field theory in a cohesive homotopy topos

• Modern Physics formalized in Modal Homotopy Type Theory

Related talk:

• Prequantum field theory (pdf)

• Synthetic Quantum Field Theory

Related projects:

• Smooth Sets of Fields

• Higher Topos Theory in Physics

---

$\,$

$\,$

---