Quantum Gauge Field Theory in Cohesive Homotopy Type Theory

Urs Schreiber
(Radboud University Nijmegen)
Michael Shulman
(University of San Diego)

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 Ross Duncan and Prakash Panangaden: Proceedings 9th Workshop on Quantum Physics and Logic (QPL 2012), Brussels, Belgium, 10-12 October 2012, Electronic Proceedings in Theoretical Computer Science 158, pp. 109–126.
Published: 29th July 2014.

ArXived at: http://dx.doi.org/10.4204/EPTCS.158.8 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org