Corpus ID: 6746833

Mathematical Physics A Topos for Algebraic Quantum Theory

@inproceedings{Heunen2009MathematicalPA,
  title={Mathematical Physics A Topos for Algebraic Quantum Theory},
  author={C. Heunen and N. P. Landsman and Bas Spitters},
  year={2009}
}
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr’s idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C*-algebra of observables A induces a topos T (A) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra A. According to the constructive Gelfand… Expand

Figures from this paper

Symmetries in exact Bohrification
Bohrification: From classical concepts to commutative algebras
Categorical quantum dynamics
Logical aspects of quantum computation
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
  • B. Jacobs
  • Mathematics, Computer Science
  • Log. Methods Comput. Sci.
  • 2015
A Geometric Bohr topos
Spectral presheaves as quantum state spaces
  • A. Döring
  • Physics, Medicine
  • Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
  • 2015
...
1
2
3
...

References

SHOWING 1-10 OF 92 REFERENCES
Between classical and quantum
Macroscopic observables and the Born rule
...
1
2
3
4
5
...