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

DOI10.1007/S10469-009-9065-XMaRDI QIDQ431707zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3434546 (Why is no real title available?)
• scientific article; zbMATH DE number 2090722 (Why is no real title available?)
• scientific article; zbMATH DE number 3428045 (Why is no real title available?)
• scientific article; zbMATH DE number 3213310 (Why is no real title available?)
• scientific article; zbMATH DE number 3228101 (Why is no real title available?)
• scientific article; zbMATH DE number 3333596 (Why is no real title available?)
• Continuous Lattices and Domains
• Embeddings of compact convex sets and locally compact cones
• On congruences and cones
• On the existence of probability measures with given marginals
• On the quasivariety on convex subsets of affine spaces
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• The probabilistic powerdomain for stably compact spaces
• Theory and Applications of Models of Computation
• Topological cones: functional analysis in a \(T_{0}\)-setting

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)