Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
From MaRDI portal
Publication:4995149
zbMath1464.81043arXiv1408.0054MaRDI QIDQ4995149
Urs Schreiber, Michael Shulman
Publication date: 23 June 2021
Full work available at URL: https://arxiv.org/abs/1408.0054
Yang-Mills and other gauge theories in quantum field theory (81T13) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38)
Related Items (9)
Constructive sheaf models of type theory ⋮ Finitary type theories with and without contexts ⋮ Univalent foundations as structuralist foundations ⋮ Unnamed Item ⋮ Characterizations of modalities and lex modalities ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Modal descent
This page was built for publication: Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
