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作为满的反射子范畴。     

稳定映射与局部代数格范畴的笛卡儿闭性

本文引入稳定映射迹的概念，得到了局部代数格上的稳定映射可由迹唯一确定以及局部代数格的稳定映射空间关于稳定关系构成局部代数格，在此基础上证明了以局部代数格为对象稳定映射为态射的范畴是笛卡儿闭范畴。     

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

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

模糊DCPO范畴的一个笛卡尔闭的满子范畴

引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义,并研究了它们与有界完备模糊dcpo之间的关系。     

一类局部定向完备集及其范畴的性质

本文给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系，从而进一步给出了一种新的连续性概念，接着讨论了局部定向完备集，连续的局部定向完备集等对象的一些性质，最后考察了三种范畴的笛卡儿闭性，并证明了范畴LDCPO是范畴ALG的反射满子范畴．     

相容连续Domain的不变性

引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证明了相容连续Domain或相容代数Domain在保局部基的Scott相容连续满映射下保持不变.     

关于Domain范畴的若干性质

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

相容Domain间Scott连续自映射的不动点

研究相容连续L-dom a in之间的稳定映射以及相容FS-dom a in之间的一致交换映射的不动点之集的性质。     

对称的满层L-Kent收敛空间范畴的子范畴

在满层的L-Kent收敛空间中引入了对称性的概念,定义了对称的满层L-Kent收敛空间范畴,对称的满层L-极限空间范畴,对称的满层L-主收敛空间范畴,对称的满层L-拓扑空间范畴.证明这四个范畴是拓扑范畴,并且后一个是前一个的反射子范畴.最后证明了对称的满层L-Kent收敛空间范畴和对称的满层L-极限空间范畴是笛卡儿闭的.     

代数$\Omega$-范畴的等价范畴

本文基于$\Omega$-范畴研究了(连续) $\mathcal{I}$-余万备$\Omega$-范畴的一些性质. 我们给出了双完备$\Omega$-范畴和逼近双模的概念并讨论了它们的性质, 证明了任何$\mathcal{I}$-余万备$\Omega$-范畴都是双完备$\Omega$-范畴. 得到了代数$\Omega$-范畴范畴等价于双完备$\Omega$-范畴.     

Free Modules over Cartesian Closed Topological Categories

The construction of free R-modules over a Cartesian closed topological category X is detailed (where R is a ring object in X), and it is shown that the insertion of generators is an embedding. This result extends the well-known construction of free groups, and more generally of free algebras over a Cartesian closed topological category. Mathematics Subject Classifications (2000) 18D15, 18D35, 18A40.     

Cartesian Closed Topological Categories and Tensor Products

The projective tensor product in a category of topological R-modules (where R is a topological ring) can be defined in Top, the category of topological spaces, by the same universal property used to define the tensor product of R-modules in Set. In this article, we extend this definition to an arbitrary topological category X and study how the Cartesian closedness of X is related to the monoidal closedness of the category of R-module objects in X. Mathematics Subject Classifications (2000) 18D15, 18D35, 18A40.     

一类Domain范畴及其笛卡儿闭子范畴

本文给出一类新的 Ｄｏｍａｉｎ范畴 ＡｌｇＤ■（即以代数 Ｄｏｍａｉｎ为对象,保逼近序的Ｓｃｏｔｔ连续函数为态射的范畴）及其满子范畴ＡｌｇＤ■（即以有底（最小元）的代数Ｄｏｍａｉｎ为对象,保逼近序的Ｓｃｏｔｔ连续函数为态射的范畴）,并且讨论它们的极大的笛卡儿闭的满子范畴．     

Domain理论中的映射

Domain理论的目的是为程序设计语言提供数学语义的模型，信息状态域的指标称为Domain，而程序的指称是Domain间的映射。本文主要介绍Domain理论中的三类重要映射－Scott连续映射，Berry的稳定映射以及CM映射的定义以及等价刻画和表示。     

The Maximality of Cartesian Categories

It is proved that equations between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equation in the language of free cartesian categories collapses a cartesian category into a preorder. An analogous result holds for categories with binary products, which may lack a terminal object. The proof is based on a coherence result for cartesian categories, which is related to model‐theoretic methods of normalization. This maximality of cartesian categories, which is analogous to Post completeness, shows that the usual equivalence between deductions in conjunctive logic induced by βη normalization in natural deduction is chosen optimally.     

集合套范畴的研究

模糊集理论与 Topos理论有着密切的联系 ,借助于模糊集理论中的集合套理论 ,引入了两种新的范畴——集合套范畴 SEB1和 SEB2。首先证明了 SEB1满足卡氏积封闭性 (Cartesian Closed) ,但没有SC(子对象分类器 ) ,所以 SEB1不是 Topos.其次 ,得出 SEB2是一个 Topos     

Cartesian Closed Categories of F Z-domains

A subset systemZassigns to each partially ordered setPa certain collectionZ(P) of subsets. In this paper, a new kind of subset systems called directable subset systems is introduced. For a directable subset system Z, the concepts of F Z-way-below relation and F Z-domain are introduced. The well-known Scott topology is naturally generalized to the Z-level and the resulting topology is calledF Z-Scott topology, and the continuous functions with respect to this topology are characterized by preserving the suprema of directed Z-sets. Then, we mainly consider a generalization of the cartesian closedness of the categories DCPO of directed complete posets, BF of bifinite domains and FS ofF Sdomains to the Z-level. Corresponding to them, it is proved that, for a suitable subset system Z, the categories FZCPO ofZ-complete posets,FSFZ of finitely separated FZ-domains andBFFZ of bifiniteF Z-domains are all cartesian closed. Some examples of these categories are given.