Skip to content

The Hole Argument in Homotopy Type Theory

Research output: Contribution to journalArticle

Original languageEnglish
Number of pages11
JournalFoundations of Physics
DateAccepted/In press - 16 Aug 2019
DatePublished (current) - 4 Oct 2019


The Hole Argument is primarily about the meaning of general covariance in general relativity. As such it raises many deep issues about identity in mathematics and physics, the ontology of space–time, and how scientific representation works. This paper is about the application of a new foundational programme in mathematics, namely homotopy type theory (HoTT), to the Hole Argument. It is argued that the framework of HoTT provides a natural resolution of the Hole Argument. The role of the Univalence Axiom in the treatment of the Hole Argument in HoTT is clarified.

    Research areas

  • Hole argument, Homotopy type theory, General covariance, Univalence

Download statistics

No data available



  • Full-text PDF (final published version)

    Rights statement: This is the final published version of the article (version of record). It first appeared online via Springer at . Please refer to any applicable terms of use of the publisher.

    Final published version, 301 KB, PDF document

    Licence: CC BY


View research connections

Related faculties, schools or groups