Steve, do you know Isham and Butterfield, Topos perspective on the Kochen-Specker Theorem, Int.Journ.Theor,Physics, vol.37,nr.11,1998,pp.2669--2733 ? Best wishes,Jaap van Oosten