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

J. Hamilton, C. J. Isham, J. 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…