A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
From MaRDI portal
Publication:1805641
DOI10.1023/A:1026652817988zbMATH Open1007.81009arXivquant-ph/9808067OpenAlexW2128656825MaRDI QIDQ1805641FDOQ1805641
Authors: Yanyan Li 
Publication date: 18 November 1999
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/quant-ph/9808067
Recommendations
General and philosophical questions in quantum theory (81P05) Quantum measurement theory, state operations, state preparations (81P15)
Cited In (63)
- Topos quantum logic and mixed states
- Topologies on quantum topoi induced by quantization
- Contextual logic for quantum systems
- \(u\)-singularity and \(t\)-topos theoretic entropy
- 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
- Background-independent condensed matter models for quantum gravity
- Complementarity between position and momentum as a consequence of Kochen-Specker arguments
- A model for spacetime: the role of interpretation in some Grothendieck topoi
- A topos perspective on state-vector reduction
- New class of 4-dim Kochen-Specker sets
- Superlogic manifolds and geometric approach to quantum logic
- A topos for algebraic quantum theory
- A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
- Kochen-Specker theorem for von Neumann algebras
- Holography, quantum geometry, and quantum information theory
- A topos perspective on state-vector reduction
- Contextuality and the fundamental theorems of quantum mechanics
- Topos quantum theory with short posets
- 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
- Challenges for emergent gravity
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- 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
- 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
- TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES
- Everett and structure
- Reduction and emergence in the fractional quantum Hall state
- 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
- Similarity structure and diachronic emergence
- A topos formulation of history quantum theory
- 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
- Isomorphism between the local Poincaré generalized translations group and the group of spacetime transformations \((\otimes\mathrm{LB}1)^4\)
- Laws of nature and the reality of the wave function
- Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations
- A new parametrization for tetrad gravity
- Boolean information sieves: a local-to-global approach to quantum information
- A topological study of contextuality and modality in quantum mechanics
- Subalgebras of orthomodular lattices
- Intuitionistic quantum logic of an \(n\)-level system
- Contextuality and noncommutative geometry in quantum mechanics
- Towards relativistic quantum geometry
- Empirical incoherence and double functionalism
- Gleason’s theorem for composite systems
- Time and mnemonic morphism
- A heuristic philosophical discourse on various applications of abstract differential geometry in quantum gravity research
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)
