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 Neumann algebras of bounded operators on a Hilbert space. Also, it is already known that quantization naturally induces a Lawvere-Tierney topology on the presheaf topos. We show that a topos quantum theory akin to the presheaf-based one can be constructed on sheaves defined by the quantization-induced Lawvere-Tierney topology. That is, starting from the spectral sheaf as a state space of a given quantum system, we construct sheaf-based expressions of physical propositions and truth objects, and thereby give a method of truth-value assignment to the propositions. Furthermore, we clarify the relationship to the presheaf-based quantum theory. We give translation rules between the sheaf-based ingredients and the corresponding presheaf-based ones. The translation rules have “coarse-graining” effects on the spaces of the presheaf-based ingredients; a lot of different proposition presheaves, truth presheaves, and presheaf-based truth-values are translated to a proposition sheaf, a truth sheaf, and a sheaf-based truth-value, respectively. We examine the extent of the coarse-graining made by translation.
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 Neumann algebras of bounded operators on a Hilbert space. Also, it is already known that quantization naturally induces a Lawvere-Tierney topology on the presheaf topos. We show that a topos quantum theory akin to the presheaf-based one can be constructed on sheaves defined by the quantization-induced Lawvere-Tierney topology. That is, starting from the spectral sheaf as a state space of a given quantum system, we construct sheaf-based expressions of physical propositions and truth objects, and thereby give a method of truth-value assignment to the propositions. Furthermore, we clarify the relationship to the presheaf-based quantum theory. We give translation rules between the sheaf-based ingredients and the corresponding presheaf-based ones. The translation rules have “coarse-graining” effects on the spaces of the presheaf-based ingredients; a lot of different proposition presheaves, truth presheaves, and presheaf-based truth-values are translated to a proposition sheaf, a truth sheaf, and a sheaf-based truth-value, respectively. We examine the extent of the coarse-graining made by translation.
This paper shows that quantization induces a Lawvere-Tierney topology on (hence, a sheaf topos in) the quantum topos. We show that a quantization map from classical observables to self-adjoint operators on a Hilbert space naturally induces geometric morphisms from presheaf topoi related to the classical system into a presheaf topos, called the quantum topos, on the context category consisting of commutative von Neumann algebras of bounded operators on the Hilbert space. By means of the geometric morphisms, we define Lawvere-Tierney topologies on the quantum topos (and their equivalent Grothendieck topologies on the context category). We show that, among them, we can uniquely select the most informative one, which we call the quantization topology. We furthermore construct sheaves induced by the quantization topology. This can be done in an elementary and self-contained way, because the quantization topology has a quite simple expression.
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 to reduce presheaf-based topos quantum theory via sheafification and then to import quantum probabilities to the reduced sheaf quantum theory. The first is done by means of a functor that selects some expedient contexts. Note that since the functor defines a Grothendieck topology on the category consisting of all contexts, it induces a sheaf topos on which we construct a downsized quantum theory. We also show that the sheaf quantum theory can be replaced by a more manageable presheaf quantum theory. Quantum probabilities are imported by means of a Grothendieck topology that is defined on a category consisting of probabilities and that enables to regard them as intuitionistic truth-values. From these topologies, we construct another Grothendieck topology that is defined on the product of the context category and the probability category. It reflects the selection of contexts and the identification of probabilities with truth-values. We construct a quantum theory equipped with quantum probabilities as truth-values on the sheaf topos induced by the Grothendieck topology.
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 presheaves on the context category of commutative subalgebras of a von Neumann algebra of bounded operators on a Hilbert space. A classical system is modeled by a Lie algebra of classical observables. It is shown that a quantization map from the classical observables to self-adjoint operators on the Hilbert space naturally induces geometric morphisms from presheaf topoi related to the classical system to the quantum topos. By means of the geometric morphisms, we give Lawvere-Tierney topologies on the quantum topos (and their equivalent Grothendieck topologies on the context category). We show that, among them, there exists a canonical one which we call a quantization topology. We furthermore give an explicit expression of a sheafification functor associated with the quantization topology.
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 arise when contemplating quantum theories of space and time. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics arises when the topos is the category of sets. Other types of theory employ a different topos. In this paper, we study in depth the topos representation of the propositional language, PL(S), for the case of quantum theory. In doing so, we make a direct link with, and clarify, the earlier work on applying topos theory to quantum physics. The key step is a process we term “daseinisation” by which a projection operator is mapped to a subobject of the spectral presheaf—the topos quantum analog of a classical state space. In the second part of the paper, we change gear with the introduction of the more sophisticated local language L(S). From this point forward, throughout the rest of the series of papers, our attention will be devoted almost entirely to this language. In the present paper, we use L(S) to study “truth objects” in the topos. These are objects in the topos that play the role of states: a necessary development as the spectral presheaf has no global elements, and hence, there are no micro-states in the sense of classical physics. Truth objects therefore play a crucial role in our formalism.
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 Doering 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 uses the topos of presheaves on a specific context category, defined as the poset of commutative von Neumann subalgebras of some given von Neumann algebra. In particular, the approach uses the spectral presheaf. The intuitionistic logic of this approach is given by the (complete) Heyting algebra of closed open subob jects of the spectral presheaf. We show that this Heyting algebra is, in a natural way, a locale in the ambient topos, and compare this locale with the internal Gelfand spectrum of the covariant approach. In the covariant approach, a non-commutative C*-algebra (in the topos Set) defines a commutative C*-algebra internal to the topos of covariant functors from the context category to the category of sets. We give an explicit description of the internal Gelfand spectrum of this commutative C*-algebra, from which it follows that the external spectrum is spatial. Using the daseinisation of self-adjoint operators from the contravariant approach, we give a new definition of the daseinisation arrow in the covariant approach and compare it with the original version. States and state-proposition pairing in both approaches are compared. We also investigate the physical interpretation of the covariant approach.
What is the role of topos theory in the topos models for quantum theory as used by Isham, Butterfield, Döring, Heunen, Landsman, Spitters, and others? In other words, what is the interplay between physical motivation for the models and the mathematical framework used in these models? Concretely, we show that the presheaf topos model of Butterfield, Isham, and Döring resembles classical physics when viewed from the internal language of the presheaf topos, similar to the copresheaf topos model of Heunen, Landsman, and Spitters. Both the presheaf and copresheaf models provide a “quantum logic” in the form of a complete Heyting algebra. Although these algebras are natural from a topos theoretic stance, we seek a physical interpretation for the logical operations. Finally, we investigate dynamics. In particular, we describe how an automorphism on the operator algebra induces a homeomorphism (or isomorphism of locales) on the associated state spaces of the topos models, and how elementary propositions and truth values transform under the action of this homeomorphism. Also with dynamics the focus is on the internal perspective of the topos.