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