Foulis m-semilattices and their modules

Michal Botur, Jan Paseka, Milan Lekár

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 constr…