Algebras of the extended probabilistic powerdomain monad

DOI10.1016/J.ENTCS.2019.07.015OpenAlexW2971390818WikidataQ113317449 ScholiaQ113317449MaRDI QIDQ2130602

Xiaodong Jia, Jean Goubault-Larrecq

Publication date: 25 April 2022

Full work available at URL: https://arxiv.org/abs/1903.07472

zbMATH Keywords

monadsEilenberg-Moore algebrastopological conesvaluation powerdomain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

Completing simple valuations in K-categories ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics

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
• The bounded-complete hull of an \(\alpha\)-space
• Measure extension theorems for \(T_{0}\)-spaces
• Domain-complete and LCS-complete spaces
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• Locally convex cones and the Schröder-Simpson theorem
• Completion of a Construction of Johnstone
• Domains, integration and ‘positive analysis’
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Isomorphism theorems between models of mixed choice
• A short proof of the Schröder–Simpson Theorem
• Theory and Applications of Models of Computation

This page was built for publication: Algebras of the extended probabilistic powerdomain monad