A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
From MaRDI portal
Abstract: In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how the proposed valuations could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition.
Recommendations
Cited in
(66)- Topos-theoretic extension of a modal interpretation of quantum mechanics
- A topos for algebraic quantum theory
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
- Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
- A new parametrization for tetrad gravity
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- Holography, quantum geometry, and quantum information theory
- Semilattices global valuations in the topos approach to quantum mechanics
- Contextuality and noncommutative geometry in quantum mechanics
- Indeterministic objects in the category of effect algebras and the passage to the semiclassical limit
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
- A comparison of two topos-theoretic approaches to quantum theory
- Negations and meets in topos quantum theory
- Isomorphism between the local Poincaré generalized translations group and the group of spacetime transformations \((\otimes\mathrm{LB}1)^4\)
- The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
- Isomorphisms of ordered structures of Abelian \(C^*\)-subalgebras of \(C^*\)-algebras
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- Challenges for emergent gravity
- A topological study of contextuality and modality in quantum mechanics
- Kochen-Specker theorem for von Neumann algebras
- Topos quantum theory with short posets
- Topos quantum logic and mixed states
- Classical and quantum probabilities as truth values
- Topos quantum theory on quantization-induced sheaves
- Topos quantum theory reduced by context-selection functors
- Contextual logic for quantum systems
- Boolean information sieves: a local-to-global approach to quantum information
- Topos models for physics and topos theory
- Spectral presheaves, Kochen-Specker contextuality, and quantale-valued relations
- TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES
- Sheaf-theoretic representation of quantum measure algebras
- Category-theoretic analysis of the notion of complementarity for quantum systems
- The -quantum machine, the k-model, and the non-ordinary spatiality of quantum entities
- A categorial semantic representation of quantum event structures
- Time and mnemonic morphism
- Background-independent condensed matter models for quantum gravity
- Laws of nature and the reality of the wave function
- A topos formulation of history quantum theory
- New class of 4-dim Kochen-Specker sets
- Towards relativistic quantum geometry
- Group action in topos quantum physics
- Topologies on quantum topoi induced by quantization
- A topos foundation for theories of physics: I. Formal languages for physics
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
- A topos foundation for theories of physics: IV. Categories of systems
- Superlogic manifolds and geometric approach to quantum logic
- Contextuality and the fundamental theorems of quantum mechanics
- A topos perspective on state-vector reduction
- A topos perspective on state-vector reduction
- Gleason’s theorem for composite systems
- Similarity structure and diachronic emergence
- Empirical incoherence and double functionalism
- Complementarity between position and momentum as a consequence of Kochen-Specker arguments
- Subalgebras of orthomodular lattices
- A heuristic philosophical discourse on various applications of abstract differential geometry in quantum gravity research
- Equivalence relations in quantum theory: an objective account of bases and factorizations
- u-singularity and t-topos theoretic entropy
- Everett and structure
- Eliminating spacetime
- Intuitionistic quantum logic of an \(n\)-level system
- A model for spacetime: the role of interpretation in some Grothendieck topoi
- Double-slit interference and temporal topos
- Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations
- Finitary topos for locally finite, causal and quantal vacuum Einstein gravity
- Reduction and emergence in the fractional quantum Hall state
This page was built for publication: A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1805641)
