Effect algebras are the Eilenberg-Moore category for the Kalmbach monad.
From MaRDI portal
Publication:890021
DOI10.1007/s11083-014-9344-6zbMath1333.06018arXiv1404.6263OpenAlexW3100402548MaRDI QIDQ890021
Publication date: 9 November 2015
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1404.6263
Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (3)
Unnamed Item ⋮ Effect algebras as presheaves on finite Boolean algebras ⋮ Pseudo effect algebras are algebras over bounded posets
Cites Work
This page was built for publication: Effect algebras are the Eilenberg-Moore category for the Kalmbach monad.