关于Domain范畴的若干性质

给出保逼近序的Scott连续伴随的等价刻划,在此基础上建立了几类以保逼近序的Scott连续函数为态射的Dom ain 范畴,并得到了这些范畴的一系列性质     

拟连续Domain及其子范畴间的伴随关系

基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续Domain范畴QCCOH)的反射子范畴反例表明,连续Domain范畴CONT作为范畴QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴。     

拟连续Domain及其子范畴间的伴随关系

基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴.     

Domain理论与拓扑

Ｄｏｍａｉｎ理论作为计算机程序设计语言研究的数学基础,序和拓扑的相互结合在这一领域中起着基本而重要的作用,本文力图从Ｄｏｍａｉｎ理论产生的背景,它在几个方面的发展,反映Ｄｏｍａｉｎ理论与拓扑的紧密联系,使我们看到序和拓扑的结合怎样应用于程序设计语言研究。     

FS-相容Domain的定向完备化及相关范畴性质

引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有：（1）FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;（2）FS-相容Domain是有限生成上集,从而是Scott紧的;（3）FS-相容Domain的定向完备化是FS-Domaln;（4）有最大元的FS-Domain去掉最大元后是FS-相容Domain;（5）证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。     

关于连续Domain权的进一步结果

在连续格理论的基础上探索连续Domain的权与相应Scott拓扑空间的权之间的关系,并进一步讨论其与相应的Lawson拓扑空间的权之间的关系,最后给出在连续Domain中W（P）＝W（∑P）=W（AP）的结论。     

连续Domain的遗传性及其不变性

引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的。证明连续Domain或代数Domain在保Waybelow序的Scott连续映射下保持不变。     

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

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

L-Fuzzy Domain及其相关性质

基于[5]提出的L-fuzzy拟序集，引入L-fuzzy集关于L-fuzzy偏序的并，当L是完全分配格时L-fuzzy拟序集上的L-fuzzy定向集等概念，在此基础上定义L-fuzzy domain，证明它是通常Domain的模糊推广，并得到若干相关性质。     

相容连续Domain的遗传性

定义相容Domain的子Domain与子空间等概念,得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论,证明了相容连续Domain或相容代数Domain对开子空间和闭子空间都是可遗传的。     

Cartesian Closed Extensions of Subcategories of CONT

In this paper we give a uniform way of proving cartesian closedness for many new subcategories of continuous posets. We define C-P to be the category of continuous posets whose D–completions are isomorphic to objects from C, where C is a subcategory of the category CONT of domains. The main result is that if C is a cartesian closed full subcategory of ALG _⊥ or BC, then C-P is also a cartesian closed subcategory of the category CONTP of continuous posets and Scott continuous functions. In particular, we have the following cartesian closed categories : BC-P, LAT-P, aL-P, aBC-P, B-P, aLAT-P, ω -B-P, ω -aLAT-P, etc.     

拟连续Domain的拟基及其权

在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与该拟连续Domain上赋予内蕴拓扑时的拓扑空间的权之间的关系。     

关于拟连续Domain的一个注记

证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpo L,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间.     

Generalized Continuous Posets and a New Cartesian Closed Category

With every subset selection for posets, there is associated a certain ideal completion . As shown by Erné, such completions help to extend classical results on domains and similar structures in the absence of the required joins. Some results about –predistributive or –precontinuous posets and –continuous functions are summarized and supplemented. In particular, several central results on function spaces in domain theory are extended to the setting of productive closed subset selections. The category FSBP, in which objects are finitely separated and upper bounded posets and arrows are continuous functions between them, is shown to be cartesian closed. This research is supported by the National Natural Science Foundation of China, 10471035.     

The Cartesian Closedness of the Category CDL and Function Spaces on Topological CDL''''s

ＴｈｅＣａｒｔｅｓｉａｎＣｌｏｓｅｄｎｅｓｓｏｆｔｈｅＣａｔｅｇｏｒｙＣＤＬａｎｄＦｕｎｃｔｉｏｎＳｐａｃｅｓｏｎＴｏｐｏｌｏｇｉｃａｌＣＤＬ＇ｓＹａｎｇＺｈｏｎｇｑｉａｎｇ（杨忠强）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｈａａｎｘｉＮ...     

Fuzzy拓扑范畴的经典表示

构造范畴WPC，论证它与拓扑分子格范畴CDB等价；并在此基础上阐述经典拓扑范畴TOP是范畴WPC的满子范畴，为研究经典拓扑学与Fuzzy拓扑学之间联系提供一点思路。