论文信息 - Weak Bisimulations for the Giry Monad (Extended Abstract)

Weak Bisimulations for the Giry Monad (Extended Abstract)

The existence of bisimulations for objects in the Kleisli category associated with the Giry monad of subprobabilities over Polish spaces is studied. We first investigate these morphisms and show that the problem can be reduced to the existence of bisimulations for objects in the base category of stochastic relations using simulation equivalent congruences. This leads to a criterion for two objects related through the monad to be bisimilar.

Ernst-Erich Doberkat | E. Doberkat

[1] E. Doberkat. Stochastic Relations : Foundations for Markov Transition Systems , 2007 .

[2] Ernst-Erich Doberkat,et al. Kleisli morphisms and randomized congruences for the Giry monad , 2007 .

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

[4] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.

[5] Ernst-Erich Doberkat,et al. Coalgebraic logic for stochastic right coalgebras , 2009, Ann. Pure Appl. Log..

[6] Dirk Pattinson,et al. Modular Algorithms for Heterogeneous Modal Logics , 2007, ICALP.

[7] Ernst-Erich Doberkat,et al. Eilenberg-Moore algebras for stochastic relations , 2006, Inf. Comput..

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

[9] Shashi M. Srivastava,et al. A Course on Borel Sets , 1998, Graduate texts in mathematics.

[10] E. Doberkat. Stochastic Relations , 2007 .

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

[12] Michèle Giry,et al. A categorical approach to probability theory , 1982 .

[13] K. Brown,et al. Graduate Texts in Mathematics , 1982 .

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

[15] S. Lane. Categories for the Working Mathematician , 1971 .

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