相容双有限domain及相关范畴性质 (2005年)

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