Pseudo effect algebras as algebras over bounded posets

Gejza Jenča

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