Foulis m-semilattices and their modules

Abstract: Building upon the results of Jacobs, we show that the category OMLatLin of orthomodular lattices and linear maps forms a dagger category. For each orthomodular lattice X, we construct a Foulis m-semilattice Lin(X) composed of endomorphisms of X. This m-semilattice acts as a quantale, enabling us to regard X as a left Lin(X)-module. Our novel approach introduces a fuzzy-theoretic dimension to the theory of orthomodular lattices.