Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
arXiv:1408.0054 · doi:10.4204/EPTCS.158.8
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.
arXiv commentIn Proceedings QPL 2012, arXiv:1407.8427
References in corpus (8)
- Higher-dimensional Algebra and Topological Quantum Field Theory
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Twisted differential String and Fivebrane structures
- Čech cocycles for differential characteristic classes -- An infinity-Lie theoretic construction
- Principal infinity-bundles -- General theory
- Categorified Symplectic Geometry and the Classical String
- Extended higher cup-product Chern-Simons theories
- Precanonical quantization of Yang-Mills fields and the functional Schroedinger representation