.../pdf/quant-ph/9803055 given a collection W of boolean subalgebras of the lattice P(H) of projection operators on the hilbert space H of the system it forms a poset under subalgebra inclusion and can be considered a category a dual presheaf ...| range(i), the restriction of chi to the inclusion's range subalgebra [...] Once I see "preshrinks" or a "Hom", I know I'm ...

...ph/9803055 given a collection W of boolean subalgebras of the lattice P(H) of projection... the system it forms a poset under subalgebra inclusion and can be considered a category ... of chi to the inclusion's range subalgebra the kochen-specker theorem proves for dim(...-ph/9711009 built from dispersion-free quasicommutative subalgebras of observables given ontological status many of ...