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.
Homologous operational localization processes are effectuated in terms of generalized topological covering systems on structures of physical events. We study localization systems of quantum events' structures by means of Gtothendieck topologies on the base category of Boolean events' algebras. We show that a quantum events algebra is represented by means of a Grothendieck sheaf-theoretic fibred structure, with respect to the global partial order of quantum events' fibres over the base category of local Boolean frames.
An observable effects a schematization of the Quantum event structure by correlating Boolean algebras picked by measurements with the Borel algebra of the real line. In a well-defined sense Boolean observables play the role of coordinatizing objects in the Quantum world, by picking Boolean figures and subsequently opening Boolean windows for the perception of the latter, interpreted as local measurement charts. A mathematical scheme for the implementation of this thesis is being proposed based on Category theoretical methods. The scheme leads to a manifold representation of Quantum structure in terms of topos-theoretical Boolean reference frames. The coordinatizing objects give rise to structure preserving maps with the modeling objects as their domains, effecting finally an isomorphism between quantum event algebra objects and Boolean localization systems for the masurement of observables.