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

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