Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

International Journal of Theoretical Physics

Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations

Christopher John Isham, J. Butterfield

Published Nov 1, 1998• 231 citations
Publisher
DOI
10.1023/a:1026680806775

Related papers

Topos Perspective on the Kochen–Specker Theorem: IV. Interval Valuations

Jeremy Butterfield, Christopher John Isham

International Journal of Theoretical Physics•Apr 1, 2002•62 citations

A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues

Jeremy Butterfield, C. J. Isham

International Journal of Theoretical Physics•Mar 1, 1999•127 citations

A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations

Christopher John Isham, Jeremy Butterfield

The Kochen-Specker theorem asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. The truth-values assigned to propositions are (i) contextual; and (ii) multi-valued, where the space of contexts and the multi-valued logic for each context come naturally from the topos theory of presheaves. The first step in our theory is to demonstrate that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements. We then show how the use of ideas drawn from the theory of presheaves leads to the definition of a generalized valuation in quantum theory whose values are sieves of operators. In particular, we show how each quantum state leads to such a generalized valuation.

arXiv:quant-ph/9803055•Mar 20, 1998•27 citations

A topos perspective on the Kochen-Specker theorem: II. Conceptual Aspects, and Classical Analogues:

Christopher John Isham, Jeremy Butterfield

In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how the proposed valuations could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition.

arXiv:quant-ph/9808067•Aug 31, 1998•23 citations

A Topos Perspective on the Kochen-Specker Theorem: III. Von Neumann Algebras as the Base Category

Hamilton, J., Christopher John Isham, Jeremy Butterfield

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann algebras as a base category (Section 2); and the relation of our generalized valuations to (i) the assignment to quantities of intervals of real numbers, and (ii) the idea of a subobject of the coarse-graining presheaf (Section 3).

arXiv:quant-ph/9911020•Nov 5, 1999•17 citations

Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics

Kunji Nakayama

arXiv:0711.2200•International Journal of Theoretical Physics•Jan 15, 2008•3 citations
The Kochen-Specker theorem asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. The truth-values assigned to propositions are (i) contextual; and (ii) multi-valued, where the space of contexts and the multi-valued logic for each context come naturally from the topos theory of presheaves. The first step in our theory is to demonstrate that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements. We then show how the use of ideas drawn from the theory of presheaves leads to the definition of a generalized valuation in quantum theory whose values are sieves of operators. In particular, we show how each quantum state leads to such a generalized valuation.
In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how the proposed valuations could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition.