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

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