论文部分内容阅读
对于CONT的任意一个笛卡儿闭的满子范畴够,构造CONT的两个新的满子范畴R-L(以移对象的收缩为对象的范畴)和B-L(以L扩张序列的双极限为对象的范畴),并证明了它们都是笛卡儿闭范畴。由于R-L和B-L都包含L为其满子范畴,利用上述结果可得CONT的极大笛卡儿闭子范畴必对收缩和双极限封闭。本文还从范畴笛卡儿闭性的角度给出了Domain理论中一个公开问题的等价描述。