The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras

Topology and its Applications

Volumn 156, Issue 2, 2008, Pages 227-239

  Keimel, Klaus ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Compact ordered spaces; Eilenberg Moore algebras; Monads; Probability measures; Stochastic order

Indexed keywords

EID: 56349139931     PISSN: 01668641     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.topol.2008.07.002     Document Type: Article

References (31)

1. Alfsen E.M. Compact Convex Sets and Boundary Integrals. Ergeb. Math. Grenzgeb. (3) vol. 57 (1971), Springer-Verlag
2. Alvarez Manilla M., Jung A., and Keimel K. Valuations and measures for stably compact spaces. Theoret. Comput. Sci. 328 (2004) 221-244
3. M. Alvarez Manilla, Measure theoretic results for continuous valuations on partially ordered spaces, PhD Thesis, Imperial College, University of London, 2001
4. Battenfeld I., Schröder M., and Simpson A. Compactly generated domain theory. Math. Structures Comput. Sci. 16 (2006) 141-161
5. Cohen B., Escardó M., and Keimel K. The extended probabilistic power domain monad over stably compact spaces. In: Cai J.-Y., Cooper S.B., and Li A. (Eds). Proceedings of TAMC06: Theory and Applications of Models of Computation. Bejing, 2006. Lecture Notes in Comput. Sci. vol. 3959 (2006), Springer-Verlag 566-575
6. Day A. Filter monads, continuous lattices and closure systems. Canad. J. Math. 27 (1975) 50-59
7. Doberkat E.E. Eilenberg-Moore algebras for stochastic relations. Inform. and Comput. 204 (2006) 1756-1781
8. E.E. Doberkat, Eilenberg-Moore algebras for stochastic relations. Erratum and Addendum, submitted for publication
9. Dunford N., and Schwartz J.T. Linear Operators. Part I: General Theory (1957), Interscience Publishers, New York
10. Edwards D.A. On the existence of probability measures with given marginals. Ann. Inst. Fourier (Grenoble) 28 (1978) 53-78
11. Fedorchuk V.V. Probability measures in topology. Russian Math. Surveys 46 1 (1991) 45-93
12. Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M., and Scott D.S. Continuous Lattices and Domains. Encyclopedia Math. Appl. vol. 93 (2003), Cambridge University Press
13. Graham S. Closure properties of a probabilistic powerdomain construction. In: Main M., Melton A., Mislove M., and Schmidt D. (Eds). Mathematical Foundations of Programming Language Semantics. Lecture Notes in Comput. Sci. vol. 298 (1988), Springer-Verlag 213-233
14. Jones C., and Plotkin G. A probabilistic powerdomain of evaluations. Proceedings of the Fourth Annual Symposium on Logic in Computer Science (1989), IEEE Press 186-195
15. C. Jones, Probabilistic non-determinism, PhD Thesis, Department of Computer Science, The University of Edinburgh, 1990, 201 (also published as Technical Report No. CST-63-90)
16. Jung A., Kegelmann M., and Moshier M.A. Stably compact spaces and closed relations. Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 17). Electron. Notes Theor. Comput. Sci. vol. 45 (2001) 209-231
17. Kneser H. Konvexe Räume. Arch. Math. 3 (1952) 198-206
18. Lawson J.D. Embeddings of compact convex sets and locally compact cones. Pacific J. Math. 66 (1976) 443-453
19. Lawson J.D. Valuations on continuous lattices. In: Hoffmann R.-E. (Ed). Continuous Lattices and Related Topics. Mathematik Arbeitspapiere vol. 27 (1982), Universität Bremen 204-225
20. Lawson J.D., and Madison B. On congruences and cones. Math. Z. 120 (1971) 18-24
21. Mac Lane S. Categories for the Working Mathematician. Grad. Texts in Math. second ed. vol. 5 (1998), Springer-Verlag
22. Mulry Ph. Monads in Semantics. Electron. Notes Theor. Comput. Sci. vol. 14 (1998) pp. 275-286
23. Nachbin L. Topology and Order (1965), Von Nostrand, Princeton, NJ Translated from the 1950 monograph "Topologia e Ordem" (in Portugese). Reprinted by Robert E. Kreiger Publishing Co., Huntington, NY, 1967
24. Neumann W.D. On the quasivariety of convex subsets of affine spaces. Arch. Math. 21 (1970) 11-16
25. Roberts J.W. The embedding of compact convex sets in locally convex spaces. Canad. J. Math. 30 (1978) 449-454
26. Romanowska A., and Smith J.D.H. Modes (2002), World Scientific xi+623 pp
27. Schaefer H.H. Topological Vector Spaces (1966), The MacMillan Company, New York
28. Schröder M., and Simpson A. Probabilistic Observations and Valuations (Extended Abstract). Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI). Electron. Notes Theor. Comput. Sci. vol. 155 (2006) 605-615
29. Scott D.S. Continuous lattices. In: Lawvere F.W. (Ed). Toposes, Algebraic Geometry and Logic. Lecture Notes in Math. vol. 274 (1972), Springer-Verlag 97-136
30. Semadeni Z. Monads and Their Eilenberg-Moore Algebras in Functional Analysis. Queen's Papers in Pure and Appl. Math. vol. 33 (1973) 98 pp
31. Swirszcz T. Monadic functors and convexity. Bul. Acad. Polon. Sci. Sér. Sci. Math. Astron. Phys. 22 (1974) 39-42