笛卡儿闭Domain范畴的两个重要性质

摘要：

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

关键词：连续domain、Scott连续映射、收缩、双极限、笛卡儿闭范畴

所属期刊栏目：20

分类号：O1(数学)

资助基金：国家自然科学基金10271069;陕西师范大学校科研和教改项目

在线出版日期：2007-03-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：28-34