Abstract:Do the spacetime manifolds which feature in our best scientific theories reflect anything metaphysically weighty in the world (e.g., any fundamental substances or relations)? Should we extend our notions of space and time beyond the epistemological roles they play in helping us codify the dynamical behavior of matter? Kant famously answered ``No'' to both of these questions, contra Newton and Leibniz. This paper introduces novel technical and philosophical support for such a (Neo-)Kantian perspective on the metaphysics of space and time. To begin, I will make an explicit analogy between broadly Humean views of laws (e.g., Lewis, Demarest, etc.) and dynamics-first views of geometry (e.g., Brown). I will then continue this line of analogous views beyond the metaphysics of laws debate and the dynamical vs geometric spacetime debate by extending it into the context of spacetime topology. Namely, I will put forward a dynamics-first view of topology (in answer to Norton's problem of pre-geometry). This dynamics-first view of topology is supported by some powerful new techniques for topological redescription which I have recently developed in Grimmer (2023a) and Grimmer (2023b), namely the ISE Method. These new techniques allow us to remove and replace the topological underpinnings of our spacetime theories just as easily as we can switch between different coordinate systems. For instance, a theory set on a Möbius strip might be redescribed as being set on the Euclidean plane and vice versa. Indeed, as Grimmer (2023b) has proved, the ISE Method gives us access to effectively every possible spacetime framing of a given theory's kinematical and dynamical content. Given this overabundance of candidate spacetime framings, it is then conceivable that one can pick out a theory's topological structure via something analogous to a Best Systems Analysis.

An Introduction to Topos Physics

Topos Models for Physics and Topos Theory

Review of the Topos Approach to Quantum Theory

Higher Topos Theory in Physics

Topos Quantum Logic and Mixed States

Lectures on Topos Quantum Theory

A Very Short Introduction to Topos Theory (adapted from Prof. Pettigrew's notes)

Foundations of Quantum Contextual Topos: Integrating Modality and Topos Theory in Quantum Logic

Natural Topology

Introducing categories to the practicing physicist

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime

Topology in Physics

A Comparison of Two Topos-Theoretic Approaches to Quantum Theory

From Humean Laws to a Neo-Kantian Spacetime: A Dynamics-First View of Topology

Topological representation of intuitionistic and distributive abstract logics

Introduction to 2-dimensional Topological Quantum Field Theory

An invitation to topological orders and category theory

An Introduction to Topological Data Analysis for Physicists: From LGM to FRBs

On topology changes in quantum field theory and quantum gravity

A Prehistory of n-Categorical Physics

Modern incarnations of the Aristotelian concepts of Continuum and Topos