Active diffeomorphisms create physically distinct but equally possible situations, a stance the paper calls Newton Equivalence, which aims to escape the Earman-Norton substantivalism dilemma.
Homotopy Type Theory: A synthetic approach to higher equalities
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
This is an introduction to Homotopy Type Theory and Univalent Foundations for philosophers, written as a chapter for the book "Categories for the Working Philosopher" (ed. Elaine Landry)
fields
physics.hist-ph 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Leibniz Equivalence, Newton Equivalence, and Substantivalism
Active diffeomorphisms create physically distinct but equally possible situations, a stance the paper calls Newton Equivalence, which aims to escape the Earman-Norton substantivalism dilemma.