Orthomodular posets are algebras over bounded posets with involution

Gejza Jenča

We prove that there is a monadic adjunction between the category of bounded posets with involution and the category of orthomodular posets.