`What is a Thing?': Topos Theory in the Foundations of Physics
Abstract
The goal of this paper is to summarise the first steps in developing a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. In doing so we provide a new answer to Heidegger's timeless question ``What is a thing?''. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics uses the topos of sets. Other theories involve a different topos. For the types of theory discussed in this paper, a key goal is to represent any physical quantity $A$ with an arrow $\breve{A}_φ:\Si_φ\map\R_φ$ where $\Si_φ$ and $\R_φ$ are two special objects (the `state-object' and `quantity-value object') in the appropriate topos, $τ_φ$. We discuss two different types of language that can be attached to a system, $S$. The first, $\PL{S}$, is a propositional language; the second, $Ł{S}$, is a higher-order, typed language. Both languages provide deductive systems with an intuitionistic logic. With the aid of $\PL{S}$ we expand and develop some of the earlier work (By CJI and collaborators.) on topos theory and quantum physics. A key step is a process we term `daseinisation' by which a projection operator is mapped to a sub-object of the spectral presheaf $\Sig$--the topos quantum analogue of a classical state space. The topos concerned is…
Read the paper
Related studies
- Quantum dots: synthesis, bioapplications, and toxicity
- A Guide to In Silico Drug Design
- Quantum Computing for Healthcare: A Review
- Automated in Silico Design of Homogeneous Catalysts
- Identification of Novel 3-Hydroxy-pyran-4-One Derivatives as Potent HIV-1 Integrase Inhibitors Using in silico Structure-Based Combinatorial Library Design Approach
- In silico structural elucidation of RNA-dependent RNA polymerase towards the identification of potential Crimean-Congo Hemorrhagic Fever Virus inhibitors
Go deeper in Evidence Hub
Evidence Hub adds a study data sheet (design, sample size, evidence level, key numbers), an AI summary and a chat grounded in the paper's text.