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

DOI10.1007/S10469-009-9065-XzbMATH Open1276.54041OpenAlexW2046035829MaRDI QIDQ431707FDOQ431707

Authors: 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

Recommendations

• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• Theory and Applications of Models of Computation
• The probabilistic powerdomain for stably compact spaces via compact ordered spaces
• Topological cones: functional analysis in a \(T_{0}\)-setting
• The probabilistic powerdomain for stably compact spaces

zbMATH Keywords

Eilenberg-Moore algebrasordered topological vector space

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The probabilistic powerdomain for stably compact spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• 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
• On the quasivariety on convex subsets of affine spaces
• Title not available (Why is that?)
• Theory and Applications of Models of Computation
• On congruences and cones

Cited In (8)

• The probabilistic powerdomain for stably compact spaces
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• Theory and Applications of Models of Computation
• The expectation monad in quantum foundations
• Probabilistic logics based on Riesz spaces
• The probabilistic powerdomain for stably compact spaces via compact ordered spaces
• From probability monads to commutative effectuses
• Locally convex cones and the Schröder-Simpson theorem

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q431707)