加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本