Pseudo effect algebras are algebras over bounded posets
From MaRDI portal
Publication:2035281
Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Preorders, orders, domains and lattices (viewed as categories) (18B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Abstract: We prove that there is a monadic adjunction between the category of bounded posets and the category of pseudo effect algebras.
Cites work
- A Cantor-Bernstein type theorem for effect algebras.
- Algebraic Analysis of Many Valued Logics
- Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras
- Effect algebras and unsharp quantum logics.
- Effect algebras are the Eilenberg-Moore category for the Kalmbach monad.
- Filters and supports in orthoalgebras
- scientific article; zbMATH DE number 3946195 (Why is no real title available?)
- scientific article; zbMATH DE number 1293525 (Why is no real title available?)
- scientific article; zbMATH DE number 1344825 (Why is no real title available?)
- scientific article; zbMATH DE number 566410 (Why is no real title available?)
- scientific article; zbMATH DE number 1107769 (Why is no real title available?)
- scientific article; zbMATH DE number 3804225 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3195417 (Why is no real title available?)
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Orthomodular lattices do not satisfy any special lattice equation
- Pseudo difference posets and pseudo Boolean D-posets
- Pseudoeffect algebras. I: Basic properties
- Remarks on concrete orthomodular lattices
- The center of an effect algebra
- The Quantum Theory of Measurement
- Type decomposition of a pseudoeffect algebra
- Type-decomposition of an effect algebra
Cited in
(4)- Convexity-preserving properties of partial binary operations with respect to filter convex structures on effect algebras
- Interval convexity of scale effect algebras
- n-dimensional observables on k-perfect MV-algebras and k-perfect effect algebras. I: Characteristic points
- A categorical construction of the real unit interval
This page was built for publication: Pseudo effect algebras are algebras over bounded posets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2035281)