Classical field theory via Cohesive homotopy types
Mathematical Physics
2013-11-06 v1 High Energy Physics - Theory
Algebraic Topology
Logic
math.MP
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
Cite
@article{arxiv.1311.1172,
title = {Classical field theory via Cohesive homotopy types},
author = {Urs Schreiber},
journal= {arXiv preprint arXiv:1311.1172},
year = {2013}
}
Comments
4 pages