Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
From MaRDI portal
Publication:1303448
DOI10.1023/A:1026680806775zbMath0979.81018arXivquant-ph/9803055MaRDI QIDQ1303448
Publication date: 1 October 2000
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/9803055
Related Items (60)
Contextuality and the fundamental theorems of quantum mechanics ⋮ Sheaf-theoretic representation of quantum measure algebras ⋮ On the relation between quantum mechanical probabilities and event frequencies ⋮ Topos models for physics and topos theory ⋮ A model for spacetime: the role of interpretation in some Grothendieck topoi ⋮ Topos quantum theory on quantization-induced sheaves ⋮ Double-slit interference and temporal topos ⋮ A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors ⋮ Topos quantum theory with short posets ⋮ Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations ⋮ Finitary topos for locally finite, causal and quantal vacuum Einstein gravity ⋮ Bohrification of operator algebras and quantum logic ⋮ A categorial semantic representation of quantum event structures ⋮ Complementarity in categorical quantum mechanics ⋮ Towards a Paraconsistent Quantum Set Theory ⋮ Topos quantum theory reduced by context-selection functors ⋮ Gleason’s theorem for composite systems ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Spectral presheaves as quantum state spaces ⋮ A topological study of contextuality and modality in quantum mechanics ⋮ A BRIDGE BETWEEN Q-WORLDS ⋮ Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras ⋮ Contextual semantics in quantum mechanics from a categorical point of view ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Subalgebras of orthomodular lattices ⋮ Contextuality and noncommutative geometry in quantum mechanics ⋮ The sheaf-theoretic structure of non-locality and contextuality ⋮ Why Categories? ⋮ The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations ⋮ THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH ⋮ A topos perspective on state-vector reduction ⋮ Topologies on quantum topoi induced by quantization ⋮ Modality and contextuality in topos quantum theory ⋮ Contextual logic for quantum systems ⋮ The strong and weak holographic principles ⋮ A topos perspective on state-vector reduction ⋮ Superlogic manifolds and geometric approach to quantum logic ⋮ Indeterministic objects in the category of effect algebras and the passage to the semiclassical limit ⋮ TOPOS THEORY AND SPACETIME STRUCTURE ⋮ Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism ⋮ The rest-frame instant form of metric gravity. ⋮ Boolean subalgebras of orthoalgebras ⋮ Category-theoretic interpretative framework of the complementarity principle in quantum mechanics ⋮ Boolean information sieves: a local-to-global approach to quantum information ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ Topos-theoretic extension of a modal interpretation of quantum mechanics ⋮ Topos Quantum Logic and Mixed States ⋮ The logos categorical approach to quantum mechanics. II. Quantum superpositions and intensive values ⋮ Negations and meets in topos quantum theory ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ A topos for algebraic quantum theory ⋮ A topos formulation of history quantum theory ⋮ 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 ⋮ Kochen-Specker theorem for von Neumann algebras ⋮ Classical and quantum probabilities as truth values
This page was built for publication: Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
