关于Domain范畴的若干性质

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

Characterizations of Stable Functions on L—domains

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｅｐｕｒｐｏｓｅｏｆＤｏｍａｉｎｓｔｈｅｏｒｙ（ｉｎｔｒｏｄｕｃｅｄｂｙＤ．Ｓｃｏｔｔ）ｉｓｔｏｍｏｄｅｌｔｈｅｄｅｎｏｔａｔｉｏｎａｌｓｅ－ｍａｎｔｉｃｓｏｆｃｏｍｐｕｔｅｒｐｒｏｇｒａｍｍｏｎｇｌａｎｇｕａｇｅｓ［１］．Ａｎｉｍｐｏｒｔａｎｔｆｒａｍｅ－ｗｏｒｋｆｏｒｔｈｅｄｅｎｏｔａ－ｔｉｏｎａｌｓｅｍａｎｔｉｃｓｏｆｐｒｏｇｒａｍｍｉｎｇｌａｎｇｕａｇｅｓｉｓｔｈｅｃａｔｅｇｏｒｙｏｆＬ－ｄｏｍａｉｎｓｗｉｔｈｓｔａｂｌｅｆｕｎｃｔｉｏｎｓ．Ｌ－ｄｏｍ…     

Domain投射空间的连续性

本文研究了Ｄｏｍａｉｎ理论中投射空间的性质．其主要结果是;若连续ｃｐｏＤ的投射空间是连续的,则 Ｄ必是代数 Ｄｏｍａｉｎ．进一步,若连续 ｃｐｏ Ｄ具有性质ｍ则其投射空间是连续 ｃｐｏ当且仅当Ｄ是代数Ｄｏｍａｉｎ并且所有由紧元构成的序稠链是单点集．     

上上有界双有限偏序集范畴（英文）

本文在总结和补充D-预连续或D-预代数偏序集以及它们之间的D~△-连续函数的有关结论的基础上,得到了一类以上有界双有限偏序集为对象,以D~△-连续函数为态射的范畴的笛卡尔闭性.     

代数的局部完备集范畴和FS-局部dcpo范畴的笛卡儿闭性

本文引入了代数的局部完备集,FS-局部dcpo,局部稳定映射等概念．主要结果是：以局部Scott连续映射为态射的代数的局部完备集范畴,以局部稳定映射为态射的代数的局部完备集范畴以及以局部Scott连续映射为态射的FS-局部dcpo范畴都是笛卡儿闭范畴．     

预加法范畴中态射集星型序的刻划

本文给出了预加法范畴中态射集左（右）星序，星序的显公式刻划，证得了素性，正性预加法范畴中态射集星型序的某些刻划，把Ｈａｒｔｗｉｇ，Ｓｔｙａｎ，Ｍｉｔｒａ，Ｂａｋｓａｌａｒｙ关于复矩阵星型序刻划的有关结果推广到这两类范畴中。     

m-循环复形范畴的Bridgeland-Hall代数的余代数结构

设A是一个遗传Abel范畴且■是A的投射对象构成的满子范畴.本文主要研究胁循环复形范畴C_m(■)的Bridgeland-Hall代数的余代数结构(其中m≥2).受Yanagida工作的启发,我们在C_m(■)上定义一个新的正合结构,由此得到了其Bridgeland-Hall代数的余代数结构.同时,证明了存在A的扩展Ringel-Hall代数到m-循环复形范畴C_m(■)的Bridgeland-Hall代数的余代数嵌入.     

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范畴的两个重要性质

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

三角Hopf代数表示范畴上的Lie余代数

本文在三角Ｈｏｐｆ代数表示范畴上系统地研究了Ｌｉｅ余代数,在此范畴上 的Ｌｉｅ余代数与Ｈｏｐｆ代数之间建立了重要的联系．主要给出了Ｌｉｅ余代数的余包络 余代数的结构．所得结果自然是关于Ｌｉｅ代数的对偶结果,推广了 Ｓｗｅｅｄｌｅｒ Ｍ． Ｅ．, Ｇｕｒｅｖｉｃｈ Ｄ．Ｉ．, Ｍｉｃｈａｅｌｉｓ Ｗ．和 Ｍａｉｉｄ Ｓ．等人的结果．     

Representation theorems for directed completions of consistent algebraic L-domains

In this paper, consistent algebraic L-domains are considered. One algebraic and two topological characterization theorems for their directed completions are given. It is proved that eliminating a set of maximal elements with empty interior from an algebraic L-domain results a consistent algebraic L-domain whose directed completion is just the given algebraic L-domain up to isomorphism. It is also proved that the category CALDOM of consistent algebraic L-domains and Scott continuous maps is Cartesian closed and has the category ALDOM of algebraic L-domains and Scott continuous maps as a full reflective subcategory. Received January 8, 2005; accepted in final form June 15, 2005.     

Cartesian Closed Subcategories of $CONT_{\ll }^{{\kern 8pt}\ast }$

Let CONT _? be the category of continuous domains and Scott continuous mappings that preserve the way-below relation on domains. Let ω-ALG _? be the full subcategory of CONT _? consisting of all countably based algebraic domains, and F I N be the category of finite posets and monotone mappings. The main result proved in this paper is that F I N is the largest Cartesian closed full subcategory of ω-ALG _?. On the other hand, it is shown that the algebraic L-domains form a Cartesian closed full subcategory of ALG _?.     

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

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

相容连续Domain的遗传性

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

连续信息基

D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。     

Choice-Free Dualities for Domains

A basic tool in domain theory and point-free topology are (Scott) open filters in a partially ordered set. A systematic investigation of that concept shows that central notions and facts like Lawson’s famous self-duality of the category of continuous domains may be established without invoking any choice principles, if only continuous domains are replaced by so-called δ-domains, which coincide with the former in the presence of dependent choices. Many of the conclusions remain valid for the more flexible notion of ζ-domains, comprising important variants such as algebraic or hypercontinuous domains.