Quantum Gauge Field Theory in Cohesive Homotopy Type Theory

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.

In Proceedings QPL 2012, arXiv:1407.8427

Cited by in corpus (3)

• The Rational Higher Structure of M-theory
• Topological Quantum Gates in Homotopy Type Theory
• The Quantum Monadology