摘要
本文给出一类新的 Ｄｏｍａｉｎ范畴 ＡｌｇＤ■（即以代数 Ｄｏｍａｉｎ为对象，保逼近序的Ｓｃｏｔｔ连续函数为态射的范畴）及其满子范畴ＡｌｇＤ■（即以有底（最小元）的代数Ｄｏｍａｉｎ为对象，保逼近序的Ｓｃｏｔｔ连续函数为态射的范畴），并且讨论它们的极大的笛卡儿闭的满子范畴．
In this paper, we constructed a new category of domains-the category AlgD of algebraic domains and Scott continuous functions of approximation-order- preserving (or way-below-relation-preserving); and its full subcategory AlgD, the category of pointed algebraic domains and Scott continuous functions of approximation- order-preserving. We showed that these categories are not Cartesian closed in general, and then determined the maximal Cartesian closed full subcategories of these cate-gories.
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
2001年第5期823-828,共6页
Acta Mathematica Sinica：Chinese Series
基金
国家自然科学基金资助项目(19971059)
