×
张忠熙;李庆国

非点域的笛卡尔闭扩张。 （英语） 兹比尔1373.18005

西奥。计算。科学。 691, 1-9 (2017)。
小结：让（mathbf{P}）表示偏序集和Scott连续函数范畴（mathbf{POSET}）的笛卡尔闭全子范畴。我们定义\（\mathbf{C\text{-}P}\)是来自\（mathbf{P}\）的对象的完整子类别，其\（D\）-完成与来自\（mathbf{C}\）中的对象同构，其中\（mat血红蛋白{C}）是域类别\（mathbf{CONT}\）下的子类别。类别\（\mathbf{C\text{-}P}\)始终是连续偏序集和Scott连续函数范畴\（\mathbf{CONTP}\）的子范畴。我们证明了如果\（\mathbf{C}\）是\（\mathbf{F\text）的笛卡尔闭全子范畴{-}左}\)，\（\mathbf{U\text{-}左}\)，\（\mathbf{F\text｛-｝RB}\)或\（\mathbf{U\text{-}RB}\)，然后是类别\（\mathbf{C\text{-}P}\)也是笛卡尔闭合的。已知一致有向完备偏序集和Scott连续函数的范畴（mathbf{CDCPO}）是笛卡尔闭的。特别是，我们有以下笛卡尔闭范畴：\（\mathbf{F\text{-}左\文本{-}CDCPO}\)，\（\mathbf{U\text{-}左\文本{-}CDCPO}\)，\（\mathbf{F\text{-}RB\文本{-}CDCPO}\)，\（\mathbf{U\text{-}RB\文本{-}CDCPO}\)，\（\mathbf{F\text{-}aL\文本｛-｝CDCPO}\)，\（\mathbf{U\text{-}aL\文本｛-｝CDCPO}\)，\（\mathbf{F\text{-}B\文本{-}CDCPO}\)，\（\mathbf{U\text{-}B\文本{-}CDCPO}\)如果范畴\（\mathbf{FS}\）和\（\mathbf{RB}\）重合，那么它直接导致了寻找连续偏序集新的笛卡尔闭范畴的这种统一方法的最大潜力：对于\（\mathbf{CONT}\）的每一个笛卡尔闭全子范畴\（\ mathbf}C}\），范畴\（\fathbf{C\text{-}P}\)也是笛卡尔闭合的。

引用于1文件

MSC公司：

18日第15天 闭范畴（闭单体和笛卡尔闭范畴等）
06立方厘米35 连续格和偏序集，应用
68问题55 计算理论中的语义学

关键词：

\（L\）-域;\（RB\）-域;根深蒂固的;不相交联合;笛卡尔闭范畴;\（D\）-完成;连续偏序集
PDF格式BibTeX公司 XML格式引用
\textit{Z.Zhang}和\textit{Q.Li}，Theor。计算。科学。691，1--9（2017；Zbl 1373.18005）
全文： 内政部

参考文献：

[1] Abramsky，S。；Jung，A.，《领域理论》（Abramsky，S.；Gabbay，D.M.；Maibaum，T.S.E.，《语义结构.语义结构》，Handb.Log.Compute.Sci.，第3卷（1994年），克拉伦登出版社），1-168·Zbl 0829.68111号
[2] M.Erné。；Zhao，D.，Z超紧生成晶格的Z连接谱，应用。类别。结构，9，1，41-63（2001）·Zbl 0976.06004号
[3] 范，L。；He，W.，偏序集和连续偏序集上的Scott拓扑，高级数学。，6, 723-730 (2009) ·Zbl 1483.06001号
[4] Gierz，G。；霍夫曼，K.H。；Keimel，K。；劳森·J·D。；Mislove，M。；Scott，D.S.，《连续格与域》，《数学百科全书》。申请。，第93卷（2003），剑桥大学出版社·Zbl 1088.06001号
[5] Huang先生。；李强。；Li，J.，广义连续偏序集和一个新的笛卡尔闭范畴，应用。类别。结构，17，1，29-42（2009）·Zbl 1179.06004号
[6] Jung，A.，《笛卡尔闭范畴》，《化学文摘》，第66卷（1989年），信息中心：阿姆斯特丹信息中心·Zbl 0719.06004号
[7] Jung，A.，《连续域的分类》（第五届IEEE计算机科学逻辑年会论文集（1990）），35-40
[8] 毛，X。；Xu，L.，B-posets，FS-posets和相关类别，半群论坛，72，1，121-133（2006）·Zbl 1097.06006号
[9] Xu，L.，通过Scott拓扑和清醒化实现偏序集的连续性，拓扑应用。，153, 11, 1886-1894 (2006) ·Zbl 1104.06004号
[10] 曾勇。；寇宏，偏序集范畴的笛卡尔贴近性，四川大学，4725-728（2011），（中文）·Zbl 1249.06019号
[11] 张，Z。；李强。；Jia，X.，CONT子范畴的笛卡尔闭扩张，Order（2016）
[12] 赵，D。；Fan，T.，偏序集的Dcpo-completion，Theoret。计算。科学。，411, 22, 2167-2173 (2010) ·兹比尔1192.06007
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。