相容双有限domain及相关范畴性质

• 作者: 张滦云 王戈平
• 来源期刊: 南京师大学报(自然科学版)
• 学科: 数学
• 关键词: 相容代数domain 相容双有限domain 笛卡儿闭范畴
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 数学
• 页码范围: 36-41
• 页数: 6页
• 分类号: O153.1|O189.1
• 字数: 7553字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4616.2005.01.007

摘要

将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题.并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴.还讨论了相容定向完备偏序集及相容代数domain上的几个性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张滦云	淮海工学院数理科学系	7	13	2.0	3.0
2	王戈平	徐州师范大学数学系	7	37	4.0	6.0