We construct a sheaf-theoretic representation of quantum events structures, in terms of Boolean localization systems. These covering systems are constructed as ideals of structure-preserving morphisms of quantum event algebras from varying Boolean domains, identified with physical contexts of measurement. The modeling sheaf-theoretic scheme is based on the existence of a categorical adjunction between presheaves of Boolean event algebras and quantum event algebras. On the basis of this adjoint correspondence, we also prove the existence of an object of truth values in the category of quantum logics, characterized as subobject classifier. This classifying object plays the equivalent role that the two-valued Boolean truth values object plays in classical events structures. We construct the object of quantum truth values explicitly, and furthermore, demonstrate its functioning for the valuation of propositions in a typical quantum measurement situation.
We introduce a foundational sheaf theoretical scheme for the comprehension of quantum event structures, in terms of localization systems consisting of Boolean coordinatization coverings induced by measurement. The scheme is based on the existence of a categorical adjunction between presheaves of Boolean event algebras and Quantum event algebras. On the basis of this adjoint correspondence we prove the existence of an object of truth values in the category of quantum logics, characterized as subobject classifier. This classifying object plays the equivalent role that the two-valued Boolean truth values object plays in classical event structures. We construct the object of quantum truth values explicitly and argue that it constitutes the appropriate choice for the valuation of propositions describing the behavior of quantum systems.
We construct a sheaf-theoretic representation of quantum probabilistic structures, in terms of covering systems of Boolean measure algebras. These systems coordinatize quantum states by means of Boolean coefficients, interpreted as Boolean localization measures. The representation is based on the existence of a pair of adjoint functors between the category of presheaves of Boolean measure algebras and the category of quantum measure algebras. The sheaf-theoretic semantic transition of quantum structures shifts their physical significance from the orthoposet axiomatization at the level of events, to the sheaf-theoretic gluing conditions at the level of Boolean localization systems.
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 duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum
Σ(A) in
T(A) , which in our approach plays the role of the quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on
Σ , and self-adjoint elements of A define continuous functions (more precisely, locale maps) from
Σ to Scott’s interval domain. Noting that open subsets of
Σ(A) correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos
T(A) .These results were inspired by the topos-theoretic approach to quantum physics proposed by Butterfield and Isham, as recently generalized by Döring and Isham.
We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local arithmetics in measurement situations. This construction makes possible the adaptation of the methodology of Abstract Differential Geometry (ADG), a la Mallios, in a topos-theoretic environment, and hence, the extension of the "mechanism of differentials" in the quantum regime. The process of gluing information, within diagrams of commutative algebraic localizations, generates dynamics, involving the transition from the classical to the quantum regime, formulated cohomologically in terms of a functorial quantum connection, and subsequently, detected via the associated curvature of that connection.
We propose a sheaf-theoretic framework for the representation of a quantum observable structure in terms of Boolean information sieves. The algebraic representation of a quantum observable structure in the relational local terms of sheaf theory effectuates a semantic transition from the axiomatic set-theoretic context of orthocomplemented partially ordered sets, la Birkhoff and Von Neumann, to the categorical topos-theoretic context of Boolean information sieves, la Grothendieck. The representation schema is based on the existence of a categorical adjunction, which is used as a theoretical platform for the development of a functorial formulation of information transfer, between quantum observables and Boolean localisation devices in typical quantum measurement situations. We also establish precise criteria of integrability and invariance of quantum information transfer by cohomological means.