半连续dcpo的局部半基的若干理论

对连续格、半连续格、半连续dcpo等的相关定义与主要性质进行比较,得到它们的联系与区别,作出一些补充,并给出半连续dcpo的局部半基的概念,从而得到一些相关性质与结论.

局部dcpo和相容dcpo的交连续性

在局部dcpo和相容dcpo中引入了交连续的概念,并证明了它们在半格情况下等价.本文的主要结果是定理1,定理2,定理3.

局部dcpo和相容dcpo的交连续性再讨论

在局部dcpo和相容dcpo的交连续性的概念的基础上,对局部dopo和相容dcpo的交连续性作了进一步的探讨,丰富并扩展了有关性质和结论.主要结果是局部dcpo的交连续性定理1和关于相容dcpo交连续性的几个命题.证明了半格(或格)上局部dcpo的交连续性的几个等价条件,且证明了若半格L是交连续的相容dcpo,σ(L)是连续格,则ΛL是Hausdorff空间当且仅当{(x,y)∈L×L:x≤y}是ΛL×ΛL中闭集等.

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

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

局部定向完备集上的辅助关系

辅助关系是定义在偏序集上的一种重要的二元关系 .当偏序集为定向完备集时 ,其上的辅助关系性质比较丰富 .将辅助关系的概念及有关性质推广到较弱的局部定向完备集上 ,得到了局部定向完备集上的辅助关系特别是 way- below关系的一些较好的性质 ,进而讨论并加强了局部定向完备集上的插入性质 ,证明在连续的局部定向完备集上的 way-

关于格上二元运算“-”的性质研究

在格上定义了二元运算"—",得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于"-"运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算"—",从而得到相关性质与结论.

偏序集上的way-up关系

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

局部定向完备集的定向完备化（英文）

研究了局部定向完备集的定向完备化,得出以下两个结果:(1)连续(代数)的局部定向完备集的定向完备化是连续(代数)定向完备集;(2)连续(代数)定向完备集范畴是连续(代数)局部定向完备集范畴的满的反射子范畴.

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

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

S-定向完备偏序集范畴

给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用。探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映射为态射的范畴是笛卡尔闭范畴。