# Pseudo effect algebras as algebras over bounded posets

## TL;DR

This paper establishes a formal connection between bounded posets and pseudo effect algebras by demonstrating a monadic adjunction, providing a new algebraic framework for understanding these structures.

## Contribution

It introduces a monadic adjunction between bounded posets and pseudo effect algebras, revealing a foundational categorical relationship.

## Key findings

- Existence of a monadic adjunction between the categories
- Categorical characterization of pseudo effect algebras
- New algebraic framework for bounded posets

## Abstract

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