Effect algebras are the Eilenberg-Moore category for the Kalmbach monad
Abstract
The Kalmbach monad is the monad that arises from the free-forgetful adjunction between bounded posets and orthomodular posets. We prove that the category of effect algebras is isomorphic to the Eilenberg-Moore category for the Kalmbach monad.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2014
- DOI:
- 10.48550/arXiv.1404.6263
- arXiv:
- arXiv:1404.6263
- Bibcode:
- 2014arXiv1404.6263J
- Keywords:
-
- Mathematics - Rings and Algebras;
- Primary: 03G12;
- Secondary: 06F20;
- 81P10
- E-Print:
- Order (2015) 32: 439-448