Topos Perspective on the Kochen=nSpeckerTheorem: III. Von Neumann Algebras as theBase Category

@article{Hamilton1999ToposPO,
  title={Topos Perspective on the Kochen=nSpeckerTheorem: III. Von Neumann Algebras as theBase Category},
  author={J. Hamilton and C. Isham and J. Butterfield},
  journal={International Journal of Theoretical Physics},
  year={1999},
  volume={39},
  pages={1413-1436}
}
We extend the topos-theoretic treatment given in previous papers of assigningvalues to quantities in quantum theory, and of related issues such as theKochen–Specker theorem. This extension has two main parts: the use of vonNeumann algebras as a base category and the relation of our generalized valuationsto (i) the assignment to quantities of intervals of real numbers and (ii) the ideaof a subobject of the coarse-graining presheaf. 
101 Citations
Independence Conditions for Nets of Local Algebras as Sheaf Conditions
Kochen–Specker Theorem for von Neumann Algebras
Effect Algebras, Presheaves, Non-locality and Contextuality
Effect algebras, presheaves, non-locality and contextuality
A Comparison of Two Topos-Theoretic Approaches to Quantum Theory
Topos Perspective on the Kochen–Specker Theorem: IV. Interval Valuations
A Topos Perspective on State-Vector Reduction
...
1
2
3
4
5
...

References

SHOWING 1-9 OF 9 REFERENCES
A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues
Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations
On the quantisation of points
Fundamentals of the Theory of Operator Algebras
Beables in algebraic quantum theory From Physics to Philosophy
  • Beables in algebraic quantum theory From Physics to Philosophy
  • 1999
Maximal beable subalgebras of quantummechanical observables quant-ph
  • Maximal beable subalgebras of quantummechanical observables quant-ph