Skip to main content Accessibility help
×
Home

Weak bisimulations for the Giry monad

  • ERNST-ERICH DOBERKAT (a1)

Abstract

We study the existence of bisimulations for Kleisli morphisms associated with the Giry monad of subprobabilities over Polish spaces. 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 us to a criterion for two objects to be bisimilar.

Copyright

References

Hide All
Abramsky, S., Blute, R. and Panangaden, P. (1999) Nuclear and trace ideal in tensored *-categories. J. Pure Appl. Alg. 143 (1-3)347.
Doberkat, E.-E. (2006) Stochastic relations: congruences, bisimulations and the Hennessy–Milner theorem. SIAM J. Computing 35 (3)590626.
Doberkat, E.-E. (2007a) Kleisli morphisms and randomized congruences for the Giry monad. J. Pure Appl. Alg. 211 638664.
Doberkat, E.-E. (2007b) Stochastic Relations. Foundations for Markov Transition Systems, Chapman and Hall/CRC Press.
Doberkat, E.-E. (2009) Stochastic Coalgebraic Logic, Springer-Verlag.
Doberkat, E.-E. and Schubert, Ch. (2009) Coalgebraic logic for stochastic right coalgebras. Ann. Pure Appl. Logic 159 268284.
Giry, M. (1981) A categorical approach to probability theory. In: Categorical Aspects of Topology and Analysis. Springer-Verlag Lecture Notes in Computer Science 915 6885.
Kechris, A. S. (1994) Classical Descriptive Set Theory, Graduate Texts in Mathematics, Springer-Verlag.
Mac Lane, S. (1997) Categories for the Working Mathematician, Graduate Texts in Mathematics, Springer-Verlag.
Moggi, E. (1991) Notions of computation and monads. Information and Computation 93 5592.
Parthasarathy, K. R. (1967) Probability Measures on Metric Spaces, Academic Press.
Schröder, L. and Pattinson, D. (2007) Modular algorithms for heterogeneous modal logics. In: ICALP. Springer-Verlag Lecture Notes in Computer Science 4596 459471.
Srivastava, S. M. (1998) A Course on Borel Sets, Graduate Texts in Mathematics, Springer-Verlag.

Related content

Powered by UNSILO

Weak bisimulations for the Giry monad

  • ERNST-ERICH DOBERKAT (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.