Classical field theory via Cohesive homotopy types

2013/11/05 by Urs Schreiber, Schreiber, Urs
Mathematics · #Advanced Topics in Algebra #Algebraic Geometry and Number Theory #Algebraic Topology (math.AT) #FOS: Mathematics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Mathematical Physics (math-ph)

paper · pdf · doi:10.48550/arxiv.1311.1172

openalex publication_date 2013/11/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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

Related

• Homotopy Type Theory: Univalent Foundations of Mathematics
• Introduction to Homotopy Type Theory
• Homotopy Type Theory: A synthetic approach to higher equalities
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Homotopy type theory: the logic of space