Schreiber Higher Prequantum Geometry

An article that I have once written:

---

• Urs Schreiber:

  
  

  Higher Prequantum Geometry

  
  

  download: 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

• Grisha Taroian: Higher Prequantum Geometry à la Schreiber, seminar talk (Jan 2023) [part 1:YT, 2:YT]

Related projects:

• Smooth Sets of Fields

• Higher Topos Theory in Physics

---

$\,$

$\,$

---