Effect Algebras, Presheaves, Non-locality and Contextuality

DOI10.1007/978-3-662-47666-6_32zbMath1396.81012OpenAlexW2261553480MaRDI QIDQ3449492

Sam Staton, Sander Uijlen

Publication date: 4 November 2015

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/143726

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Quantum coherence, entanglement, quantum correlations (81P40) Contextuality in quantum theory (81P13)

Related Items (6)

Effect algebras, presheaves, non-locality and contextuality ⋮ Cohomology of Effect Algebras ⋮ Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras ⋮ Categories of Empirical Models ⋮ Unnamed Item ⋮ Effect algebras as presheaves on finite Boolean algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effect algebras and unsharp quantum logics.
• Probabilities, distribution monads, and convex categories
• Sheaves in geometry and logic: a first introduction to topos theory
• Tensor products of orthoalgebras
• Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
• Coreflections in algebraic quantum logic
• Classical BI: Its Semantics and Proof Theory
• The sheaf-theoretic structure of non-locality and contextuality
• Instances of Computational Effects: An Algebraic Perspective

This page was built for publication: Effect Algebras, Presheaves, Non-locality and Contextuality