Pseudo effect algebras as algebras over bounded posets

Abstract

We prove that there is a monadic adjunction between the category of bounded posets and the category of pseudo effect algebras.

Cited by in corpus (2)

• A Categorical Construction of the Real Unit Interval
• Orthomodular posets are algebras over bounded posets with involution