Effect algebras are the Eilenberg-Moore category for the Kalmbach monad
Rings and Algebras
2016-12-30 v2
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.
Keywords
Cite
@article{arxiv.1404.6263,
title = {Effect algebras are the Eilenberg-Moore category for the Kalmbach monad},
author = {Gejza Jenča},
journal= {arXiv preprint arXiv:1404.6263},
year = {2016}
}