Spectral presheaves as quantum state spaces
From MaRDI portal
Publication:2955786
DOI10.1098/rsta.2014.0247zbMath1353.81011OpenAlexW2265057449WikidataQ50890768 ScholiaQ50890768MaRDI QIDQ2955786
Publication date: 13 January 2017
Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1098/rsta.2014.0247
General theory of (C^*)-algebras (46L05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bohrification of operator algebras and quantum logic
- Noncommutative geometry, quantum fields and motives
- A topos for algebraic quantum theory
- \(C^*\)-algebras and \(W^*\)-algebras.
- 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.
- On an algebraic generalization of the quantum mechanical formalism
- Caractérisation des espaces vectoriels ordonnés sous jacents aux algèbres de Von Neumann
- A comparison of two topos-theoretic approaches to quantum theory
- Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- Kochen-Specker theorem for von Neumann algebras
- On the geometry of projections in certain operator algebras
- Abelian subalgebras and the Jordan structure of a von Neumann algebra
- Topos Quantum Logic and Mixed States
- Classical and quantum probabilities as truth values
- Unsharp Values, Domains and Topoi
- “What is a Thing?”: Topos Theory in the Foundations of Physics
- The physical interpretation of daseinisation
- Topos-based logic for quantum systems and bi-Heyting algebras
- Orientation in operator algebras
- Zariski geometries
- 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