Contextual semantics in quantum mechanics from a categorical point of view

DOI10.1007/s11229-015-0970-3zbMath1396.81014OpenAlexW2283680402MaRDI QIDQ1708773

Elias Zafiris, Vassilios Karakostas

Publication date: 27 March 2018

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/13336/1/Contextual%20Semantics%20in%20Quantum%20Mechanics%20from%20a%20Categorical%20Point%20of%20View.pdf

zbMATH Keywords

category theorysubobject classifiercategorical adjunctionKochen-Specker theoremcontextual semanticscorrespondence truth

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Categorical logic, topoi (03G30) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Contextuality in quantum theory (81P13)

Related Items (4)

From Quantum-Mechanical Lattice of Projections to Smooth Structure of $$\mathbb {R}^4$$R4 ⋮ Uncertainty relations and possible experience ⋮ Category-theoretic interpretative framework of the complementarity principle in quantum mechanics ⋮ The logos categorical approach to quantum mechanics. II. Quantum superpositions and intensive values

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A categorial semantic representation of quantum event structures
• Noncommutativity as a colimit
• Topoi. The categorial analysis of logic. Rev. ed
• Sheaves in geometry and logic: a first introduction to topos theory
• A relativity principle in quantum mechanics
• Quantum logic in algebraic approach
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• “What is a Thing?”: Topos Theory in the Foundations of Physics
• Contextual logic for quantum systems
• Generalized topological covering systems on quantum events' structures
• Sheaf-theoretic representation of quantum measure algebras
• Two Applications of Logic to Mathematics
• The sheaf-theoretic structure of non-locality and contextuality

This page was built for publication: Contextual semantics in quantum mechanics from a categorical point of view