相容连续偏序集及其定向完备化

引入了相容连续偏序集及其定向完备化等概念,证明了相容连续偏的定向完备化是连续偏序集;利用主理想及Ｓｃｏｔｔ拓扑刻画了相容连续偏序集,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序也当且仅当它的Ｓｃｏｔｔ拓扑是一个完全分配格;考察了相容性连续偏序集的定向完备化的范畴意义,得到相容连续偏序集范畴以连续偏范畴作为为满的反射子范畴。     

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

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

局部定向完备范畴及其上的辅关系

文章从局部化的思路出发,提出局部定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论局部定向完备范畴上的辅关系,特别是way-below关系的一些性质,证明了在连续的局部定向完备范畴中way-below关系满足强插值性质.     

连续定向完备序半群及其范畴性质

引入了连续定向完备序半群的概念,得到了连续定向完备序半群的若干等价刻画,证明了范畴CDOSG(以全体连续定向完备序半群为对象,以保定向并的序半群同态为态射)是有限完备的,其满子范畴CCDOSG(以全体交换的连续定向完备序半群为对象)也是有限完备的且对函数空间封闭。     

相容双有限domain及相关范畴性质

将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题．并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴．还讨论了相容定向完备偏序集及相容代数domain上的几个性质．     

连续偏序集及其Smyth幂的特征与浓度

推广连续domain的特征与浓度的概念到连续偏序集上,探讨了连续偏序集及其定向完备化和Smyth幂的特征、浓度.得到了几个关系定理:1)连续偏序集的特征(浓度)等于其上Scott拓扑的特征(浓度),但小于等于其上Lawson拓扑的特征(浓度);2)连续偏序集的浓度大于或等于它的定向完备化的浓度,而特征小于或等于它的定向完备化的特征;3)连续domain的浓度大于或等于它的Smyth幂domain的浓度.     

拓扑群范畴研究的若干进展

拓扑群是拓扑代数领域的重要研究对象,在调和分析、动力系统等领域有广泛的应用.拓扑群和连续群同态范畴具有许多重要且有趣的性质.介绍从范畴论角度研究拓扑群范畴的若干进展.内容涉及拓扑群范畴的基本性质、拓扑群范畴的准紧反射、紧反射(Bohr紧化)、Raǐkov完备反射(Raǐkov完备化)、C-紧拓扑群、c-完备态射等.     

由T0空间的特殊化序定义的定向空间

通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间.该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质.特别地,本文证明了所有定向空间及连续函数构成的范畴是T0空间范畴的余反射子范畴并且具有cartesian闭性以及定向完备偏序集范畴是该范畴的真子范畴.     

定向空间的下幂结构

定向空间范畴推广了domain理论.该推广过程为函数式程序提供了非确定性指称语义的幂domain结构.本文以自由代数的方式定义了定向空间的下幂空间,证明了每个定向空间的下幂空间存在并给出其具体构造.一般情况下,定向空间的定向下幂空间既不同于赋予Scott拓扑的定向完备偏序集的下幂domain,也不同于Battenfeld和Schder定义的普通拓扑空间上观察诱导的下幂空间.     

函子范畴与幂等完备化构造的相容性

讨论函子范畴和范畴的幂等完备化构造的相容性,证明小范畴D到任意范畴C的函子范畴C D的幂等完备化范畴等价于D到幂等完备化范畴C～的函子范畴(C～)D.进一步得到函子范畴CD是幂等完备的,当且仅当C是幂等完备的.     

有界完备的domain范畴是monadic范畴

一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基数κ,作者引入了有界完备的κdomain以及相应的Scott κ拓扑的概念,并证明了有界完备的κdomain范畴是集合范畴和T0的κ拓扑空间范畴上的monadic范畴.     

连续范畴

将定向完备偏序集上的way-below关系推广到任意小范畴上,从而在任意小范畴上引入了连续性.并进一步讨论了连续范畴的性质,证明了连续范畴有许多类似于连续偏序集的好的性质.     

偏序集上的相对余定向集

首先在偏序集上引入相对余定向集的概念,考察其性质,并给出相对余定向集族是完备格的一个充分条件。其次,给出相对余定向完备集的概念,并研究相对余定向完备集、余一致完备集之间的关系。     

偏序集范畴的Cartesian闭性

作者讨论了偏序集范畴的Cartesian闭性, 给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件. 特别地, 作者证明了交连续半格（不要求定向完备性）范畴是Cartesian闭范畴, L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴.     

相容连续范畴

本文给出了相容定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论了相容定向完备范畴上的way-below关系的一些性质,证明了在相容连续范畴中way-below关系满足强插值性质.最后给出了相容连续范畴的一个刻画定理,即相容定向完备范畴L是相容连续的当且仅当对任意的x∈obL,↓x是连续的.     

完全的伪效应代数

引入了完全的伪效应代数,给出了伪效应代数中理想、极大理想、素理想和值等概念.证明了伪效应代数中的每个值都有一个覆盖,所有的理想之集组成的集合是一个分配格;给出了伪效应代数中无限小元的概念和无限小元之集Infinit(E)等于极大理想之交Rad(E)的条件;证明了存在定向的插入偏序群范畴GI和完全的伪效应代数范畴PPEA之间的诚实的满的函子,完全的伪效应代数是整数群和定向插入偏序群的字典序乘积中的一个区间.     

Ln Filiform李代数的导子代数

求出了Ln filiform李代数的导子代数的极大环面，利用Ln filiform李代数的导子代数的幂零根基是可完备化的幂零李代数，证明了Ln filiform李代数的导子代数是完备的。     

范畴CoFrm的逆极限和定向极限

设CoFrm是coframe(即满足第二无限分配律的完备格)及coframe间保任意并,且其右伴随保有限并的映射组成的范畴.在CoFrm范畴的逆向系{Aα,αρβ,Σ}中各Aα不交并上建立了等价关系,给出了定向系{Aα,αρ*β,Σ}在格范畴下的余极限构造,并在此基础上给出了范畴CoFrm逆极限的具体构造.此外,还给出了范畴CoFrm的定向极限的具体构造.     

可完备化幂零李代数

完备李代数的讨论导致了一类新的幂零李代数,称为可完备化幂零李代数。本文对这类幂零李代数的一些基本性质进行了讨论,得到了若干结果。     

相对连续偏序集及其应用

提出相对定向集和相对定向完备集的概念,并在相对定向完备集上引入相对双小于关系.利用相对way below关系引入相对连续偏序集的概念,探讨了其一些等价条件,并证明了相对连续偏序集具有相对T的遗传性.