Classical field theory via Cohesive homotopy types
classification
🧮 math-ph
hep-thmath.ATmath.LOmath.MP
keywords
theoryhomotopyclassicalcohesiveconferencefieldtypeabstract
read the original abstract
A brief survey of how classical field theory emerges synthetically in cohesive homotopy type theory. Extended Conference Abstract submitted to the proceedings of the Conference on Type Theory, Homotopy Theory and Univalent Foundations in Barcelona, Fall 2013
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.