Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
Mathematical Physics
2014-08-04 v1 Logic in Computer Science
Category Theory
math.MP
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.
Cite
@article{arxiv.1408.0054,
title = {Quantum Gauge Field Theory in Cohesive Homotopy Type Theory},
author = {Urs Schreiber and Michael Shulman},
journal= {arXiv preprint arXiv:1408.0054},
year = {2014}
}
Comments
In Proceedings QPL 2012, arXiv:1407.8427