Kleisli morphisms and randomized congruences for the Giry monad

DOI10.1016/j.jpaa.2007.03.003zbMath1122.18004OpenAlexW2055085056MaRDI QIDQ995624

Ernst-Erich Doberkat

Publication date: 3 September 2007

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2007.03.003

zbMATH Keywords

Hennessy-Milner logicrandomizedGiry monadstochastic relationsKleisli morphisms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Applications of universal algebra in computer science (08A70) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Categories of spans/cospans, relations, or partial maps (18B10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (10)

A stochastic interpretation of propositional dynamic logic: expressivity ⋮ Continuity as a computational effect ⋮ A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Bisimilarity of Distributionally Equivalent Markov Transition Systems ⋮ Unprovability of the logical characterization of bisimulation ⋮ Bisimilarity is not Borel ⋮ Weak bisimulations for the Giry monad ⋮ A categorical foundation for Bayesian probability ⋮ Domain semantics of possibility computations

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
• Eilenberg--Moore algebras for stochastic relations
• Bisimulation through probabilistic testing
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
• Universal coalgebra: A theory of systems
• Domain theory, testing and simulation for labelled Markov processes
• Nuclear and trace ideals in tensored \(^*\)-categories
• Categorical set theory: A characterization of the category of sets
• Bisimulation for labelled Markov processes
• Stochastic Relations
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem

This page was built for publication: Kleisli morphisms and randomized congruences for the Giry monad