Topological duality for orthomodular lattices

TL;DR

This paper introduces orthomodular spaces as a topological duality for orthomodular lattices, providing a new topological semantics for quantum logic and establishing a dual equivalence between algebraic and topological categories.

Contribution

It constructs orthomodular spaces and proves a duality with orthomodular lattices, extending topological semantics to quantum logic.

Findings

Orthomodular spaces form a dual category to orthomodular lattices.

The duality enables a topological semantics for quantum logic Q.

Soundness and completeness of the semantics are established.

Abstract

A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of Bimb\'o's topologization of the class of orthoframes employed by Goldblatt in his representation of ortholattices. We then prove that the category of orthomodular lattices and homomorphisms is dually equivalent to the category of orthomodular spaces and certain continuous frame morphisms, which we call continuous weak p-morphisms. It is well-known that orthomodular lattices provide an algebraic semantics for the quantum logic Q. Hence, as an application of our duality, we develop a topological semantics for Q using orthomodular spaces and prove soundness and completeness.