Effect algebras are the Eilenberg-Moore category for the Kalmbach monad. (Q890021)

In 1977, Kalmbach proved that every bounded lattice can be embedded into an orthomodular lattice. A similar construction has been used to embed a bounded poset into an orthomodular poset. \textit{J. Harding} showed [in Int. J. Theor. Phys. 43, No. 10, 2149-2168 (2004; Zbl 1073.06002)] that Kalmbach's construction provides the left adjoint to the forgetful functor from the category \(\mathbf{OMP}\) of orthomodular posets to that of bounded posets; this adjunction in a standard way gives rise to a monad on \(\mathbf{OMP}\), which the author calls the Kalmbach monad. On the other hand, every monad on a category gives rise to its category of Eilenberg-Moore algebras. The main theorem of the paper states that the Eilenberg-Moore category for the Kalmbach monad is isomorphic to the category of effect algebras.