文件名称：相容双有限domain及相关范畴性质 (2005年)
文件大小：5.35MB
文件格式：PDF
更新时间：2024-05-14 11:40:43
自然科学 论文
将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上，定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念，给出了相容双有限domain的等价命题。并从范畴学的角度考察证明了以相容双有限domain为对象，Scott连续映射为态射的范畴CBF是笛卡儿闭范畴。还讨论了相容定向完备偏序集及相容代数domain上的几个性质。