代数L-domain的表示定理及其相关范畴性质

引入局部条件并半格 (简记为 L cusl)及其理想完备化等概念 .证明了 :任一代数 L domain的紧元集是 L cusl;任一代数 L domain是其紧元集赋予 Alexandrov拓扑时的 Sober化 ;任一 L cusl的理想完备化是代数 L domain,从而得到了代数 L domain的表示定理 .还证明了 Scott连续映射为态射的代数 L domain范畴为 L cusl与单调映射作成的范畴的反射子范畴 .

稳定连续半格的闭包空间表示

为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映射的概念,刻画了以Scott连续映射为态射的稳定连续半格范畴和以逼近映射为态射的可乘闭包空间范畴间的等价性.

Scott连续自映射不动点集的性质研究

主要研究了一些连续domain上Scott连续自映射的不动点集的性质.证明了若L是双有限domain,f:L→L是一致交换映射,则Fix(f)是双有限domain;提出了连续cpo上不动点集的一个例子;并证明了若L是有界完备domain,f:L→L是稳定映射且max(L)Fix(f),则Fix(f)是L的收缩等性质.

可数Scott闭集格

讨论可数定向偏序集P上的Cσ(P)的一些性质。主要结果有:(1)每个Cσ(P)都是可数C-连续的;(2)完备格M与Cσ(其中P是可数定向完备半格)同构当且仅当M为弱-可数稳定C-代数格;(3)设P,Q为可数定向完备偏序集,f:P→Q是可数Scott连续映射,h:Cσ(P)→Cσ(Q)为f-1的下伴随,则h保c关系。

相容定向完备集与相容Scott拓扑

借助S-极限的概念,在相容定向完备集上引入相容Scott拓扑和相容连续Domain。得出以下结果:上集U是相容Scott开集当且仅当U∈O(S);相容定向完备集P是相容连续Domain当且仅当S-收敛是关于相容Scott拓扑的拓扑收敛。

偏序集上的way-up关系

首先,借助于way-up关系的概念,讨论了way-up关系在偏序集、并连续半格及余dcpo不同背景下的性质;然后,给出了逼近辅关系的定义及其相关性质;最后,从局部化的思路出发,给出了局部余定向完备范畴的概念及在此结构下的way-up关系,并讨论了way-up关系的相关性质。

完备半格范畴的反射与余反射子范畴

构造性地证明了以有左（右）伴随的Ｓｃｏｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｄｏｍａｉｎ范畴，是完备半格范畴的余反射（反射）子范畴．

弱完全并既约元及其应用

首先,引入弱完全并既约元的概念,讨论它的一些基本性质,并给出完全并既约元另一等价定义。其次,借助于下邻给出了并既约元为弱完全并既约元的一个内部刻画。最后,研究了各种既约元,素元,弱完全并既约元以及紧元之间的关系。

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

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