Quantum gauge field theory in cohesive homotopy type theory

MaRDI QIDQ4995149zbMATH OpenFDO

Authors Urs Schreiber, Michael Shulman

Publication date 23 June 2021

Full work available at URL https://arxiv.org/abs/1408.0054, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2012.8

Mathematics Subject Classification ID

Type theory (03B38) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Yang-Mills and other gauge theories in quantum field theory (81T13)

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.

Recommendations

• Homotopy theory of algebraic quantum field theories
• Homotopy Type Theory
• scientific article; zbMATH DE number 1222230
• Quantum field theories on categories fibered in groupoids
• Homotopy type theory

Cited in

(17)

• Univalent foundations as structuralist foundations
• Characterizations of modalities and lex modalities
• scientific article; zbMATH DE number 1030930 (Why is no real title available?)
• Modal descent
• Internal parametricity for cubical type theory
• Constructive sheaf models of type theory
• scientific article; zbMATH DE number 7204444 (Why is no real title available?)
• Dual-context calculi for modal logic
• Multimodal dependent type theory
• Axiomatic cohesion
• Finitary type theories with and without contexts
• Pregeometric spaces from Wolfram model rewriting systems as homotopy types
• Topological quantum gates in homotopy type theory
• Univalence and ontic structuralism
• A functorial excursion between algebraic geometry and linear logic
• Homotopy type theory as a language for diagrams of -logoses
• The quantum monadology

This page was built for publication: Quantum gauge field theory in cohesive homotopy type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4995149)