×
凯梅尔，K。

有序紧空间上（子）概率幂域单子的抽象有序紧凸集和代数。 （英语。俄文原件） Zbl 1276.54041号

代数逻辑 48，第5期，330-343（2009）; 《代数罗技48》第5期第580-605页（2009年）的翻译。
摘要：指称语义学中使用的大多数范畴本质上是拓扑的。其中之一是稳定紧空间和连续映射的范畴。先前，Eilenberg-Mourre代数被研究了有序紧空间（X\）范畴上的扩展概率幂域monad和Nachbin意义上的保序连续映射。适当的代数被刻画为有序局部凸拓扑向量空间的紧凸子集。在这样做的过程中，涉及到了功能分析工具。本文的主要成果如下：重新证明了上述结果，并将其推广到子婴儿的情况；拓扑方法被开发出来，对泛函分析毫无吸引力；对于稳定紧的情况，一种更拓扑的方法可能有用；（子）概率幂域单体的代数继承了重心操作，这些操作满足与向量空间中相同的方程定律。此外，还表明，首先将这些抽象凸集嵌入到抽象锥中是很方便的，因为抽象锥更容易处理。最后，我们给出了序拓扑向量空间中抽象序局部紧锥和紧凸集的嵌入定理。

引用于4文件

MSC公司：

54小时99 一般拓扑与其他结构、应用程序的连接
54个F05 线性序拓扑空间、广义序空间和偏序空间
54立方厘米 收缩
68问题55 计算理论中的语义学
18 C50 形式语言的范畴语义
46A40型 有序拓扑线性空间，向量格
18B30型 拓扑空间和连续映射的类别（MSC2010）

关键词：

Eilenberg-Moore代数;有序拓扑向量空间
PDF格式BibTeX公司 XML格式引用
\textit{K.Keimel}，代数逻辑48，第5期，330-343（2009；Zbl 1276.54041）；摘自《代数逻辑》48，第5期，580--605（2009）
全文： 内政部

参考文献：

[1] N.Benton、J.Hughes和E.Moggi，《单子与效果》，莱克特出版社。注释计算。科学。，2395，施普林格·弗拉格，柏林（2002），第42-122页·Zbl 1065.68064号
[2] B.Cohen、M.Escardó和K.Keimel，“稳定紧致空间上的扩展概率幂域monad”，Lect。注释计算。科学。，3959，施普林格出版社，柏林（2006年），第566–575页·Zbl 1178.68328号
[3] K.Keimel，“紧序空间及其Eilenberg-Moore代数上的概率测度单子”，拓扑应用。，156，第227-239号（2008年）·Zbl 1161.46045号 ·doi:10.1016/j.topl.2008.07.002
[4] L.Nachbin，拓扑与秩序，Van Nostrand Math。Stud.，4，Van Nostrand，纽约（1965年）·Zbl 0131.37903号
[5] D.A.Edwards，“关于给定边距的概率测度的存在性”，《傅里叶协会年鉴》，28，第4期，53–78页（1978年）·Zbl 0377.60004号 ·doi:10.5802/aif.717
[6] T.Swirszcz，“一元函子与凸性”，公牛。阿卡德。波兰。科学。，序列号。科学。数学。阿童木。物理。，22, 39–42 (1974). ·Zbl 0276.46036号
[7] Z.Semadeni，Monads及其Eilenberg–Moore代数在泛函分析中的应用，《女王的论文-纯应用》。数学。，33，加拿大安大略省金斯顿女王大学（1973年）·Zbl 0272.46049号
[8] J.D.Lawson，“紧凸集和局部紧锥的嵌入”，Pac。数学杂志。，66, 443–453 (1976). ·Zbl 0359.46001号 ·doi:10.2140/pjm.1976.66.443
[9] J.D.Lawson和B.Madison，“关于同余和锥”，《数学》。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和D.S.Scott，《连续格与域》，Encycl。数学。申请。，93，剑桥大学出版社，剑桥（2003）·Zbl 1088.06001号
[11] S.Mac Lane，工作数学家分类，Grad。数学课文。，5，第二版，Springer-Verlag，纽约（1998）·Zbl 0906.18001号
[12] N.Bourbaki，《数学教育》。Topologie Ge'ne'ale，第三卷，Herrman（1965）。
[13] K.Keimel，“拓扑锥：T0环境中的函数分析”，半群论坛，77，第1期，109-142（2008）·Zbl 1151.22006年 ·doi:10.1007/s00233-008-9078-0
[14] W.D.Neumann，“关于仿射空间的凸子集的拟变性”，Arch。数学。，21, 11–16 (1970). ·Zbl 0194.01502号 ·doi:10.1007/BF01220869
[15] H.H.Schaefer，拓扑向量空间，麦克米伦。高级数学。西奥。物理。，纽约麦克米伦出版社（1966年）·Zbl 0141.30503号
[16] E.M.Alfsen，紧凸集与边界积分，Ergebnisse der Mathematik und ihrer Grenzgebiete，57，Springer-Verlag，Berlin（1971）·Zbl 0209.42601号
[17] M.Alvarez-Manilla、A.Jung和K.Keimel，“稳定紧空间的概率幂域”，Theor。计算。科学。，328，第3期，221-244（2004）·Zbl 1071.68058号 ·doi:10.1016/j.tcs.2004.06.021
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。