Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
Urs Schreiber (Radboud University Nijmegen), Michael Shulman, (University of San Diego)
TL;DR
This paper introduces cohesive homotopy type theory as a formal foundation for quantum gauge field theory, integrating new axioms within homotopy type theory to model key concepts.
Contribution
It develops a new axiomatic framework called cohesion within homotopy type theory to formalize quantum gauge field theory concepts.
Findings
Cohesive homotopy type theory models quantum gauge fields.
New axioms enable formal reasoning about gauge theories.
Framework bridges homotopy type theory and quantum physics.
Abstract
We implement in the formal language of homotopy type theory a new set of axioms called cohesion. Then we indicate how the resulting cohesive homotopy type theory naturally serves as a formal foundation for central concepts in quantum gauge field theory. This is a brief survey of work by the authors developed in detail elsewhere.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.