2 papers
math.LO2025
Foulis quantales and complete orthomodular lattices
Michal Botur, Jan Paseka, Richard Smolka
Our approach establishes a natural correspondence between complete orthomodular lattices and certain types of quantales. Firstly, given a complete orthomodular lattice X, we associ…
math.LO2025
A dagger kernel category of complete orthomodular lattices
Michal Botur, Jan Paseka, Richard Smolka
Dagger kernel categories, a powerful framework for studying quantum phenomena within category theory, provide a rich mathematical structure that naturally encodes key aspects of qu…