paperbot · PL 论文追踪

全部论文 待读 收藏

P2 On the commutativity of the powerspace constructions

论幂空间(powerspace)构造的可交换性
LMCS vol.Volume 15, Issue 32019匹配度 2/10 · 该论文属于拓扑学/形式语义中的幂空间与 quasi-Polish 空间理论研究,与用户关注的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析均无直接关联;仅在“形式化理论”这一宽泛层面有微弱交集。引用 20 inbox
Matthew de Brecht, Tatsuji Kawai
crossref: 2026-09-10

AI 速览

一句话:证明 quasi-Polish 空间上上下幂空间可交换,等价于 consonance,并刻画其对开集格构造的分配。

本文研究拓扑空间上的上下幂空间构造,重点关注 quasi-Polish 空间范畴。作者证明,在所有 quasi-Polish 空间上,上幂空间与下幂空间构造彼此可交换;更一般地,这种可交换性等价于拓扑性质 consonance。随后,论文研究 quasi-Polish 空间的开集格上的幂空间构造,给出上下幂空间如何分配到开集格构造之上的完整刻画。这些结果揭示了幂空间构造、consonance 与开集格之间的精确联系。

问题
在拓扑空间,特别是 quasi-Polish 空间范畴中,上下幂空间构造是否可交换,以及该可交换性与哪些拓扑性质等价。
方法
运用拓扑学与范畴论方法,研究幂空间构造在 quasi-Polish 空间及其开集格上的行为,并建立等价定理与分配刻画。
评估
以理论证明为主,通过定理与完整刻画验证结论,未涉及实验评估。
原文摘要(Abstract)

We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that this commutativity is equivalent to the topological property of consonance. We then investigate powerspace constructions on the open set lattices of quasi-Polish spaces, and provide a complete characterization of how the upper and lower powerspaces distribute over the open set lattice construction.

链接与引用

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

BibTeX
@article{paperbot771,
  title = {On the commutativity of the powerspace constructions},
  author = {Matthew de Brecht and Tatsuji Kawai},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 15, Issue 3},
  year = {2019},
  doi = {10.23638/lmcs-15(3:13)2019}
}