论文信息 - Eilenberg-Moore algebras for stochastic relations

Eilenberg-Moore algebras for stochastic relations

We investigate the category of Eilenberg-Moore algebras for the Giry monad associated with stochastic relations over Polish spaces with continuous maps as morphisms. The algebras are identified as the positive convex structures on the base space. The forgetful functor assigning a positive convex structure the underlying Polish space has the stochastic powerdomain as its left adjoint.

Ernst-Erich Doberkat | E. Doberkat

[1] Reinhold Heckmann,et al. Probabilistic Domains , 1994, CAAP.

[2] Ernst-Erich Doberkat,et al. Semi-pullbacks and Bisimulations in Categories of Stochastic Relations , 2003, ICALP.

[3] Ernst-Erich Doberkat. Pipelines: Modelling a software architecture through relations , 2003, Acta Informatica.

[4] P. Panangaden,et al. Nuclear and trace ideals in tensored-categories , 1998, math/9805102.

[5] V. Fedorchuk,et al. Probability measures in topology , 1991 .

[6] Ernst-Erich Doberkat,et al. The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator , 2007, J. Appl. Log..

[7] Ernst-Erich Doberkat. Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem , 2005, SIAM J. Comput..

[8] Eugenio Moggi,et al. Notions of Computation and Monads , 1991, Inf. Comput..

[9] K. Parthasarathy,et al. Probability measures on metric spaces , 1967 .

[10] Claire Jones,et al. Probabilistic non-determinism , 1990 .

[11] Abbas Edalat,et al. Bisimulation for Labelled Markov Processes , 2002, Inf. Comput..

[12] C. Jones,et al. A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[13] Zbigniew Semadeni,et al. Monads and their Eilenberg-Moore algebras in functional analysis , 1973 .

[14] Patrick Billingsley,et al. Probability and Measure. , 1986 .

[15] Annabelle McIver,et al. Probabilistic predicate transformers , 1996, TOPL.