Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces

DOI10.1007/S10469-009-9065-XzbMath1276.54041OpenAlexW2046035829MaRDI QIDQ431707

Klaus Keimel

Publication date: 29 June 2012

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-009-9065-x

zbMATH Keywords

Eilenberg-Moore algebrasordered topological vector space

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Semantics in the theory of computing (68Q55) Retraction (54C15) Categorical semantics of formal languages (18C50) Ordered topological linear spaces, vector lattices (46A40) Connections of general topology with other structures, applications (54H99)

Related Items (4)

The expectation monad in quantum foundations ⋮ Unnamed Item ⋮ From probability monads to commutative effectuses ⋮ The probabilistic powerdomain for stably compact spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The probabilistic powerdomain for stably compact spaces
• Topological cones: functional analysis in a \(T_{0}\)-setting
• Embeddings of compact convex sets and locally compact cones
• On the existence of probability measures with given marginals
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• On the quasivariety on convex subsets of affine spaces
• Continuous Lattices and Domains
• Theory and Applications of Models of Computation
• On congruences and cones

This page was built for publication: Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces