A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
From MaRDI portal
(Redirected from Publication:1805641)
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
(64)- Topos quantum logic and mixed states
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
- Topologies on quantum topoi induced by quantization
- Empirical incoherence and double functionalism
- u-singularity and t-topos theoretic entropy
- Contextual logic for quantum systems
- Classical and quantum probabilities as truth values
- Double-slit interference and temporal topos
- Finitary topos for locally finite, causal and quantal vacuum Einstein gravity
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
- Spectral presheaves, Kochen-Specker contextuality, and quantale-valued relations
- Complementarity between position and momentum as a consequence of Kochen-Specker arguments
- Background-independent condensed matter models for quantum gravity
- A model for spacetime: the role of interpretation in some Grothendieck topoi
- A topos perspective on state-vector reduction
- A topos for algebraic quantum theory
- New class of 4-dim Kochen-Specker sets
- Superlogic manifolds and geometric approach to quantum logic
- Kochen-Specker theorem for von Neumann algebras
- A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
- Holography, quantum geometry, and quantum information theory
- Gleason’s theorem for composite systems
- Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
- Indeterministic objects in the category of effect algebras and the passage to the semiclassical limit
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- Topos quantum theory with short posets
- A topos perspective on state-vector reduction
- Contextuality and the fundamental theorems of quantum mechanics
- Challenges for emergent gravity
- Isomorphisms of ordered structures of Abelian \(C^*\)-subalgebras of \(C^*\)-algebras
- Topos models for physics and topos theory
- The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
- Time and mnemonic morphism
- A comparison of two topos-theoretic approaches to quantum theory
- A topos foundation for theories of physics: IV. Categories of systems
- Topos quantum theory reduced by context-selection functors
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- A categorial semantic representation of quantum event structures
- Topos-theoretic extension of a modal interpretation of quantum mechanics
- Topos quantum theory on quantization-induced sheaves
- Group action in topos quantum physics
- The \(\delta \)-quantum machine, the \(k\)-model, and the non-ordinary spatiality of quantum entities
- Everett and structure
- TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES
- Reduction and emergence in the fractional quantum Hall state
- A heuristic philosophical discourse on various applications of abstract differential geometry in quantum gravity research
- Negations and meets in topos quantum theory
- Semilattices global valuations in the topos approach to quantum mechanics
- Category-theoretic analysis of the notion of complementarity for quantum systems
- Sheaf-theoretic representation of quantum measure algebras
- Laws of nature and the reality of the wave function
- Similarity structure and diachronic emergence
- Isomorphism between the local Poincaré generalized translations group and the group of spacetime transformations \((\otimes\mathrm{LB}1)^4\)
- A topos formulation of history quantum theory
- Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations
- A new parametrization for tetrad gravity
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- A topos foundation for theories of physics: I. Formal languages for physics
- Subalgebras of orthomodular lattices
- Boolean information sieves: a local-to-global approach to quantum information
- A topological study of contextuality and modality in quantum mechanics
- Intuitionistic quantum logic of an \(n\)-level system
- Towards relativistic quantum geometry
- Contextuality and noncommutative geometry in quantum mechanics
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)
