×

Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces. (English. Russian original) Zbl 1276.54041

Algebra Logic 48, No. 5, 330-343 (2009); translation from Algebra Logika 48, No. 5, 580-605 (2009).
Summary: The majority of categories used in denotational semantics are topological in nature. One of these is the category of stably compact spaces and continuous maps. Previously, Eilenberg-Moore algebras were studied for the extended probabilistic powerdomain monad over the category of ordered compact spaces \(X\) and order-preserving continuous maps in the sense of Nachbin. Appropriate algebras were characterized as compact convex subsets of ordered locally convex topological vector spaces. In so doing, functional analytic tools were involved. The main accomplishments of this paper are as follows: the result mentioned is re-proved and is extended to the subprobabilistic case; topological methods are developed which defy an appeal to functional analysis; a more topological approach might be useful for the stably compact case; algebras of the (sub)probabilistic powerdomain monad inherit barycentric operations that satisfy the same equational laws as those in vector spaces. Also, it is shown that it is convenient first to embed these abstract convex sets in abstract cones, which are simpler to work with. Lastly, we state embedding theorems for abstract ordered locally compact cones and compact convex sets in ordered topological vector spaces.

MSC:

54H99 Connections of general topology with other structures, applications
54F05 Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces
54C15 Retraction
68Q55 Semantics in the theory of computing
18C50 Categorical semantics of formal languages
46A40 Ordered topological linear spaces, vector lattices
18B30 Categories of topological spaces and continuous mappings (MSC2010)
Full Text: DOI

References:

[1] N. Benton, J. Hughes, and E. Moggi, ”Monads and effects,” in Lect. Notes Comput. Sci., 2395, Springer-Verlag, Berlin (2002), pp. 42–122. · Zbl 1065.68064
[2] B. Cohen, M. Escardó, and K. Keimel, ”The extended probabilistic powerdomain monad over stably compact spaces,” in Lect. Notes Comput. Sci., 3959, Springer-Verlag, Berlin (2006), pp. 566–575. · Zbl 1178.68328
[3] K. Keimel, ”The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras,” Topology Appl., 156, No. 2, 227–239 (2008). · Zbl 1161.46045 · doi:10.1016/j.topol.2008.07.002
[4] L. Nachbin, Topology and Order, Van Nostrand Math. Stud., 4, Van Nostrand, New York (1965). · Zbl 0131.37903
[5] D. A. Edwards, ”On the existence of probability measures with given marginals,” Ann. Inst. Fourier, 28, No. 4, 53–78 (1978). · Zbl 0377.60004 · doi:10.5802/aif.717
[6] T. Swirszcz, ”Monadic functors and convexity,” Bull. Acad. Pol. Sci., Ser. Sci. Math. Astron. Phys., 22, 39–42 (1974). · Zbl 0276.46036
[7] Z. Semadeni, Monads and Their Eilenberg–Moore Algebras in Functional Analysis, Queen’s Papers Pure Appl. Math., 33, Queen’s Univ., Kingston, Ontario, Canada (1973). · Zbl 0272.46049
[8] J. D. Lawson, ”Embeddings of compact convex sets and locally compact cones,” Pac. J. Math., 66, 443–453 (1976). · Zbl 0359.46001 · doi:10.2140/pjm.1976.66.443
[9] J. D. Lawson and B. Madison, ”On congruences and cones,” Math. Z., 120, 18–24 (1971). · Zbl 0206.12004 · doi:10.1007/BF01109714
[10] G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson,M.Mislove, and D. S. Scott, Continuous Lattices and Domains, Encycl. Math. Appl., 93, Cambridge Univ. Press, Cambridge (2003). · Zbl 1088.06001
[11] S. Mac Lane, Categories for the Working Mathematician, Grad. Texts Math., 5, 2nd ed., Springer-Verlag, New York (1998). · Zbl 0906.18001
[12] N. Bourbaki, Éléments de Mathématique. Topologie Ge’ne’rale, Vol. III, Herrman (1965).
[13] K. Keimel, ”Topological cones: functional analysis in a T 0-setting,” Semigroup Forum, 77, No. 1, 109–142 (2008). · Zbl 1151.22006 · doi:10.1007/s00233-008-9078-0
[14] W. D. Neumann, ”On the quasivariety of convex subsets of affine spaces,” Arch. Math., 21, 11–16 (1970). · Zbl 0194.01502 · doi:10.1007/BF01220869
[15] H. H. Schaefer, Topological Vector Spaces, Macmillan Ser. Adv. Math. Theor. Phys., Macmillan, New York (1966). · Zbl 0141.30503
[16] E. M. Alfsen, Compact Convex Sets and Boundary Integrals, Ergebnisse der Mathematik und ihrer Grenzgebiete, 57, Springer-Verlag, Berlin (1971). · Zbl 0209.42601
[17] M. Alvarez-Manilla, A. Jung, and K. Keimel, ”The probabilistic powerdomain for stably compact spaces,” Theor. Comput. Sci., 328, No. 3, 221–244 (2004). · Zbl 1071.68058 · doi:10.1016/j.tcs.2004.06.021
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.