Leibniz Equivalence, Newton Equivalence, and Substantivalism

Oliver Davis Johns

Active diffeomorphisms map a differentiable manifold to itself. They transform manifold points and objects without changing the system of local coordinates used to represent those…