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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.158.8 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |