有界完备的domain范畴是monadic范畴

• 作者: 张巍
• 来源期刊: 四川大学学报（自然科学版）
• 学科: 数学
• 关键词: monadic范畴 有界完备的κ-domain κ-dcpo κ-空间
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 数学
• 页码范围: 1276-1280
• 分类号: O153.1
• 字数: 1778字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2011.06.010

摘要

一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基数κ,作者引入了有界完备的κ-domain以及相应的Scott κ拓扑的概念,并证明了有界完备的κ-domain范畴是集合范畴和T0的κ拓扑空间范畴上的monadic范畴.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张巍	四川大学数学学院	28	345	8.0	18.0