2014/08/01 by Urs Schreiber, Michael Shulman · 1 citation
Physics and Astronomy · Computer Science · Mathematics · #math-ph #cs.LO #math.CT #math.MP
paper · pdf · doi:10.4204/eptcs.158.8
published as EPTCS 158, 2014, pp. 109-126 · In Proceedings QPL 2012, arXiv:1407.8427
arxiv created 2014/08/01 · arxiv updated 2014/08/04
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.