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.
Similar content being viewed by others
References
N. Benton, J. Hughes, and E. Moggi, “Monads and effects,” in Lect. Notes Comput. Sci., 2395, Springer-Verlag, Berlin (2002), pp. 42–122.
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.
K. Keimel, “The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras,” Topology Appl., 156, No. 2, 227–239 (2008).
L. Nachbin, Topology and Order, Van Nostrand Math. Stud., 4, Van Nostrand, New York (1965).
D. A. Edwards, “On the existence of probability measures with given marginals,” Ann. Inst. Fourier, 28, No. 4, 53–78 (1978).
T. Swirszcz, “Monadic functors and convexity,” Bull. Acad. Pol. Sci., Ser. Sci. Math. Astron. Phys., 22, 39–42 (1974).
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).
J. D. Lawson, “Embeddings of compact convex sets and locally compact cones,” Pac. J. Math., 66, 443–453 (1976).
J. D. Lawson and B. Madison, “On congruences and cones,” Math. Z., 120, 18–24 (1971).
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).
S. Mac Lane, Categories for the Working Mathematician, Grad. Texts Math., 5, 2nd ed., Springer-Verlag, New York (1998).
N. Bourbaki, Éléments de Mathématique. Topologie Ge’ne’rale, Vol. III, Herrman (1965).
K. Keimel, “Topological cones: functional analysis in a T 0-setting,” Semigroup Forum, 77, No. 1, 109–142 (2008).
W. D. Neumann, “On the quasivariety of convex subsets of affine spaces,” Arch. Math., 21, 11–16 (1970).
H. H. Schaefer, Topological Vector Spaces, Macmillan Ser. Adv. Math. Theor. Phys., Macmillan, New York (1966).
E. M. Alfsen, Compact Convex Sets and Boundary Integrals, Ergebnisse der Mathematik und ihrer Grenzgebiete, 57, Springer-Verlag, Berlin (1971).
M. Alvarez-Manilla, A. Jung, and K. Keimel, “The probabilistic powerdomain for stably compact spaces,” Theor. Comput. Sci., 328, No. 3, 221–244 (2004).
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by DFG and RFBR.
Translated from Algebra i Logika, Vol. 48, No. 5, pp. 580–605, September–October, 2009.
Rights and permissions
About this article
Cite this article
Keimel, K. Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces. Algebra Logic 48, 330–343 (2009). https://doi.org/10.1007/s10469-009-9065-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-009-9065-x