%0 Journal Article
%T 相容双有限domain及相关范畴性质
%A 张滦云
%A 王戈平
%J 南京师范大学学报(自然科学版)
%P 36-41
%D 2005
%X 将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题.并从范畴学的角度考察证明了以相容双有限domain为对象,scott连续映射为态射的范畴cbf是笛卡儿闭范畴.还讨论了相容定向完备偏序集及相容代数domain上的几个性质.
%K 相容代数domain
%K 相容双有限domain
%K 笛卡儿闭范畴
%U http://njsfdxzrb.paperonce.org/oa/darticle.aspx?type=view&id=200501007