Eilenberg--Moore algebras for stochastic relations

DOI10.1016/j.ic.2006.09.001zbMath1116.18002OpenAlexW2092744709MaRDI QIDQ859832

Ernst-Erich Doberkat

Publication date: 22 January 2007

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2006.09.001

zbMATH Keywords

convexityGiry monadEilenberg--Moore algebrascomputation through monadspositive convex structuresstochastic powerdomainstochastic relations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Equational categories (18C05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (19)

The factorization of the Giry monad ⋮ The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras ⋮ Unnamed Item ⋮ Dagger categories of tame relations ⋮ Functional distribution monads in functional-analytic contexts ⋮ Codensity and the Giry monad ⋮ Unnamed Item ⋮ Algebraic theory of vector-valued integration ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems ⋮ Unnamed Item ⋮ Kleisli morphisms and randomized congruences for the Giry monad ⋮ Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations ⋮ Unnamed Item ⋮ Termination in Convex Sets of Distributions ⋮ A Probability Monad as the Colimit of Spaces of Finite Samples ⋮ Unnamed Item ⋮ Congruences of convex algebras. ⋮ Trace semantics via determinization

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Nuclear and trace ideals in tensored \(^*\)-categories
• Pipelines: modelling a software architecture through relations
• Bisimulation for labelled Markov processes
• Probability measures in topology
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem

This page was built for publication: Eilenberg--Moore algebras for stochastic relations