The hole argument in homotopy type theory

DOI10.1007/s10701-019-00293-9zbMath1436.83009OpenAlexW2969788449MaRDI QIDQ1985880

James Ladyman, Stuart Presnell

Publication date: 7 April 2020

Published in: Foundations of Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10701-019-00293-9

zbMATH Keywords

univalencehomotopy type theorygeneral covariancehole argument

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Geometrodynamics and the holographic principle (83E05) Einstein's equations (general structure, canonical formalism, Cauchy problems) (83C05)

Related Items (2)

Representation and Spacetime: The Hole Argument Revisited ⋮ New perspectives on the hole argument

Cites Work

• Identity in Homotopy Type Theory, Part I: The Justification of Path Induction
• General Relativity for Mathematicians
• Does Homotopy Type Theory Provide a Foundation for Mathematics?
• On the Existence of Spacetime Structure
• Homotopy Type Theory: A synthetic approach to higher equalities
• Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Unnamed Item

This page was built for publication: The hole argument in homotopy type theory