期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
稳定连续半格的闭包空间表示
1
作者 王胜文 张冰 +1 位作者 马俊叶 王龙春 《曲阜师范大学学报(自然科学版)》 CAS 2024年第1期61-66,共6页
为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映... 为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映射的概念,刻画了以Scott连续映射为态射的稳定连续半格范畴和以逼近映射为态射的可乘闭包空间范畴间的等价性. 展开更多
关键词 闭包空间 DOMAIN理论 稳定连续半格 Scott连续映射 范畴等价
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部