×

Generalized topological covering systems on quantum events’ structures. (English) Zbl 1100.81002

The author gives a sheaf-theoretic view on the foundational problems of quantum mechanics. Various algebraic and categorical concepts are interpreted in this context. Part of the interpretation may already be read off the given definitions: The author calls quantum events algebra any orthomodular orthoposet \(L\). Mappings \(\varphi : K \to L\) between such algebras \(K\) and \(L\), which respect the unit \(1\), the orthocomplementation \(\star\), the partial order, and have the property that joining of orthogonal elements is submonotone, are called quantum algebraic homomorphisms. Thus, objects and morphisms of a category \(\mathcal L \) are given which is called quantum events structure by the author. Boolean algebras \(B\) with their usual morphisms constitute a category \(\mathcal B\) which in this context is called a Boolean events structure.
Assuming that \(\mathcal B\) is a generating subcategory of \(\mathcal L\) it is shown that a quantum events algebra \(L\) may be represented by a sheaf for a suitable chosen Grothendieck topology \(\mathbf J\) on \(\mathcal B\). The main result is that a quantum events algebra \(L\) is isomorphic to a colimit in the category of elements of the sheaf functor of Boolean frames of \(L\).

MSC:

81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
81P15 Quantum measurement theory, state operations, state preparations
06C15 Complemented lattices, orthocomplemented lattices and posets
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
18F10 Grothendieck topologies and Grothendieck topoi
03G30 Categorical logic, topoi
PDFBibTeX XMLCite
Full Text: DOI