Topos quantum theory with short posets
From MaRDI portal
Publication:2663173
DOI10.1007/s11083-020-09531-6zbMath1475.81007arXiv1903.01897OpenAlexW2919835766MaRDI QIDQ2663173
Publication date: 16 April 2021
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1903.01897
Applications of selfadjoint operator algebras to physics (46L60) Categorical logic, topoi (03G30) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Cites Work
- Bohrification of operator algebras and quantum logic
- 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. III: Von Neumann algebras as the base category.
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- A second course in topos quantum theory
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- A first course in topos quantum theory
- A comparison of two topos-theoretic approaches to quantum theory
- Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order
- Boolean subalgebras of orthoalgebras
- Group-valued measures on the lattice of closed subspaces of a Hilbert space
- Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices
- Abelian subalgebras and the Jordan structure of a von Neumann algebra
- Classical and quantum probabilities as truth values
- Spectral presheaves as quantum state spaces
- “What is a Thing?”: Topos Theory in the Foundations of Physics
- Topos-based logic for quantum systems and bi-Heyting algebras
- Cohomology of Effect Algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Topos quantum theory with short posets
