Orthomodular posets are algebras over bounded posets with involution
arXiv:2108.13774 · doi:10.1007/s00500-021-06433-6
Abstract
We prove that there is a monadic adjunction between the category of bounded posets with involution and the category of orthomodular posets.
arXiv admin note: text overlap with arXiv:1903.05399