paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Web spaces and worldwide web spaces: topological aspects of domain theory

Web 空间与 Worldwide Web 空间:域理论的拓扑面向
LMCS vol.Volume 15, Issue 12019匹配度 1/10 · 该论文属于纯域论与拓扑形式语义,讨论 web/wide web/C-space、patch 空间与 Scott 空间等,与用户当前关注的静态分析、LLM/Agent、浮点程序分析和贝叶斯程序分析均无直接交集。虽然形式语义与 PL 理论相邻,但并未涉及程序分析、验证工具或 LLM 交叉。引用 1 inbox
Marcel Erné
crossref: 2026-09-10

AI 速览

一句话:给出 web、wide web 与 worldwide web 空间及 patch 空间的新刻画,并联系连续域、Scott 空间与 fan 空间。

本文研究 web 空间、wide web 空间与 worldwide web 空间(又称 C-空间)及其 patch 空间,它们是连续 domain 的有用推广。作者把原拓扑与具有对偶特殊化序的第二拓扑结合,构造 patch 空间,证明其具有良好凸性与分离性质,并能决定原空间。方法上,文章给出 web/C-空间的新刻画,并证明 C-空间范畴具体同构于 fan 空间范畴,后者以主对偶理想删去有限个主对偶理想所得邻域基为特征。该视角直接联系 domain theory:T0 web 空间恰为局部逼近理想扩张的广义 Scott 空间,T0 C-空间恰为全局逼近且插值理想扩张的广义 Scott 空间。文章还将连续格的 Lawson 拓扑刻画与紧半格基本定理推广到非完备偏序集,并研究密度、权等基数不变量。

问题
为连续 domain 的拓扑推广——web 空间、C-空间及其 patch 空间——建立统一刻画,并说明其与 Scott 空间、连续格和 Lawson 拓扑的联系。
方法
通过拓扑与对偶特殊化序拓扑的拼接、C-空间与 fan 空间的范畴同构,以及理想扩张的广义 Scott 空间表示来刻画这些空间。
评估
论文以数学定理证明和范畴论、序拓扑推导为主要评估方式,并给出非完备偏序集上的推广与基数不变量分析。
原文摘要(Abstract)

Web spaces, wide web spaces and worldwide web spaces (alias C-spaces) provide useful generalizations of continuous domains. We present new characterizations of such spaces and their patch spaces, obtained by joining the original topology with a second topology having the dual specialization order; these patch spaces possess good convexity and separation properties and determine the original web spaces. The category of C-spaces is concretely isomorphic to the category of fan spaces; these are certain quasi-ordered spaces having neighborhood bases of fans, obtained by deleting a finite number of principal dual ideals from a principal dual ideal. Our approach has useful consequences for domain theory, because the T$_0$ web spaces are exactly the generalized Scott spaces of locally approximating ideal extensions, and the T$_0$ C-spaces are exactly the generalized Scott spaces of globally approximating and interpolating ideal extensions. We extend the characterization of continuous lattices as meet-continuous lattices with T$_2$ Lawson topology and the Fundamental Theorem of Compact Semilattices to non-complete posets. Finally, cardinal invariants like density and weight of the involved objects are investigated.Comment: 36 pages, 1 figure, 8 diagrams. arXiv admin note: text overlap with arXiv:1607.04721

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot819,
  title = {Web spaces and worldwide web spaces: topological aspects of domain theory},
  author = {Marcel Erné},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 15, Issue 1},
  year = {2019},
  doi = {10.23638/lmcs-15(1:23)2019}
}