A Comparison of Two Topos-Theoretic Approaches to Quantum Theory

@article{Wolters2010ACO,
  title={A Comparison of Two Topos-Theoretic Approaches to Quantum Theory},
  author={Sander Wolters},
  journal={Communications in Mathematical Physics},
  year={2010},
  volume={317},
  pages={3-53}
}
  • Sander Wolters
  • Published 2010
  • Mathematics, Physics
  • Communications in Mathematical Physics
The aim of this paper is to compare the two topos-theoretic approaches to quantum mechanics that may be found in the literature to date. The first approach, which we will call the contravariant approach, was originally proposed by Isham and Butterfield, and was later extended by Döring and Isham. The second approach, which we will call the covariant approach, was developed by Heunen, Landsman and Spitters.Motivated by coarse-graining and the Kochen-Specker theorem, the contravariant approach… Expand
Topos quantum theory on quantization-induced sheaves
In this paper, we construct a sheaf-based topos quantum theory. It is well known that a topos quantum theory can be constructed on the topos of presheaves on the category of commutative von NeumannExpand
Topos models for physics and topos theory
What is the role of topos theory in the topos models for quantum theory as used by Isham, Butterfield, Doring, Heunen, Landsman, Spitters, and others? In other words, what is the interplay betweenExpand
Topos quantum theory reduced by context-selection functors
In this paper we deal with quantum theories on presheaves and sheaves on context categories consisting of commutative von Neumann algebras of bounded operators on a Hilbert space. Our aim is first toExpand
The Logic of Quantum Mechanics (Revisited)
This is a personal review of the logic of quantum mechanics, with special emphasis on spatial aspects. My views originated in the topos-theoretical approach to quantum theory pioneered by IshamExpand
Topologies on quantum topoi induced by quantization
In the present paper, we consider effects of quantization in a topos approach of quantum theory. A quantum system is assumed to be coded in a quantum topos, by which we mean the topos of presheavesExpand
Topos-Theoretic Approaches to Quantum Theory
Starting from a naive investigation into the nature of experiments on a physical system one can argue that states of the system should pair non-degenerately with physical observables. This duality isExpand
THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
Abstract We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of ‘noncommutative spaces’ is the opposite of theExpand
Topos-Theoretic Approaches to Quantum Theory Part III Essay
Starting from a naive investigation into the nature of experiments on a physical system one can argue that states of the system should pair nondegenerately with physical observables. This duality isExpand
Gelfand spectra in Grothendieck toposes using geometric mathematics
TLDR
This work develops this external presentation of the locale S, by noting that the construction of the Gelfand spectrum in a general topos can be described using geometric logic, and shows that locally perfect maps compose, so that the externalization of a locally compact locale in a topos of sheaves over a locally Compact locale is locally compact. Expand
Sheaf-theoretic methods in quantum mechanics and quantum information theory
In this thesis we use the language of sheaf theory in an attempt to develop a deeper understanding of some of the fundamental differences - such as entanglement, contextuality and non-locality -Expand
...
1
2
3
4
...

References

SHOWING 1-10 OF 50 REFERENCES
Intuitionistic Quantum Logic of an n-level System
AbstractA decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematicalExpand
THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
Abstract We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of ‘noncommutative spaces’ is the opposite of theExpand
A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
This paper is the second in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that ariseExpand
A Topos for Algebraic Quantum Theory
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 empiricalExpand
Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations
AbstractAny attempt to construct a realistinterpretation of quantum theory founders on theKochen–Specker theorem, which asserts theimpossibility of assigning values to quantum quantitiesin a way thatExpand
Sheaves in geometry and logic: a first introduction to topos theory
This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to variousExpand
A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues
In a previous paper, we proposed assigning asthe value of a physical quantity in quantum theory acertain kind of set (a sieve) of quantities that arefunctions of the given quantity. The motivationExpand
Bohrification of operator algebras and quantum logic
TLDR
It is proved that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski–Mulvey) of the “Bohrification” of A, which is a commutative Rickart C*-algebra in the topos of functors from A to the category of sets. Expand
A Topos Foundation for Theories of Physics: IV. Categories of Systems
This paper is the fourth in a series whose goal is to develop a fundamentally new way of building theories of physics. The motivation comes from a desire to address certain deep issues that arise inExpand
Quantum States and Measures on the Spectral Presheaf
After a brief introduction to the spectral presheaf, which serves as an analogue of state space in the topos approach to quantum theory, we show that every state of the von Neumann algebra ofExpand
...
1
2
3
4
5
...