Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
From MaRDI portal
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).
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
Cited in
(36)- 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. IV: Interval valuations
- Effect algebras, presheaves, non-locality and contextuality
- Contextuality and noncommutative geometry in quantum mechanics
- Indeterministic objects in the category of effect algebras and the passage to the semiclassical limit
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- The space of measurement outcomes as a spectral invariant for non-commutative algebras
- A comparison of two topos-theoretic approaches to quantum theory
- Negations and meets in topos quantum theory
- The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
- 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
- Spectral presheaves as quantum state spaces
- Topos models for physics and topos theory
- Spectral presheaves, Kochen-Specker contextuality, and quantale-valued relations
- Effect algebras, presheaves, non-locality and contextuality
- A topos formulation of history quantum theory
- 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
- Discrete quantum structures. I: Quantum predicate logic
- A heuristic philosophical discourse on various applications of abstract differential geometry in quantum gravity research
- Double-slit interference and temporal topos
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)
