论文部分内容阅读
介绍了有界完全Domain的相关性质, 用函数空间的研究方法证明了以Scott D S连续映射为态射,以有界完全Domain为对象的范畴的笛卡儿闭性; 同时指出它是一个FS-Domain,而FS-Domain及其之间的Scott D S连续映射构成的范畴是笛卡儿闭的,从而有界完全Domain范畴BC-Domain是FS-Domain范畴的笛卡儿闭的满子范畴.