Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.

DOI10.1023/A:1003667607842zbMATH Open1055.81004arXivquant-ph/9911020MaRDI QIDQ1590884FDOQ1590884

Authors: R. Smith 

Publication date: 1 January 2001

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Abstract: We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann algebras as a base category (Section 2); and the relation of our generalized valuations to (i) the assignment to quantities of intervals of real numbers, and (ii) the idea of a subobject of the coarse-graining presheaf (Section 3).

Full work available at URL: https://arxiv.org/abs/quant-ph/9911020

Recommendations

• Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
• A topos for algebraic quantum theory
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Kochen-Specker theorem for von Neumann algebras
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues

Mathematics Subject Classification ID

Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Operator algebra methods applied to problems in quantum theory (81R15)

Cited In (34)

• Topos quantum logic and mixed states
• Topologies on quantum topoi induced by quantization
• Classical and quantum probabilities as truth values
• Double-slit interference and temporal topos
• Spectral presheaves, Kochen-Specker contextuality, and quantale-valued relations
• A topos perspective on state-vector reduction
• 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≽̱
• The space of measurement outcomes as a spectral invariant for non-commutative algebras
• Effect algebras, presheaves, non-locality and contextuality
• Effect algebras, presheaves, non-locality and contextuality
• Kochen-Specker theorem for von Neumann algebras
• Gleason’s theorem for composite systems
• A topos perspective on state-vector reduction
• Contextuality and the fundamental theorems of quantum mechanics
• Topos quantum theory with short posets
• 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 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
• Spectral presheaves as quantum state spaces
• Discrete quantum structures. I: Quantum predicate logic
• Topos-theoretic extension of a modal interpretation of quantum mechanics
• Topos quantum theory on quantization-induced sheaves
• A heuristic philosophical discourse on various applications of abstract differential geometry in quantum gravity research
• Negations and meets in topos quantum theory
• 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
• Contextuality and noncommutative geometry in quantum mechanics

This page was built for publication: Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1590884)