弱下邻及其性质

文章引入弱下邻的概念,借助于既约元、弱完全并既约元讨论弱下邻在并半格、完备格及dcpo不同背景下的性质.同时也给出了弱下邻的紧元的简单性质.     

相容连续范畴

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

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

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

内部算子空间及其范畴

文章给出内部算子空间及其之间的连续映射的定义,讨论由内部算子空间(对象)及其之间的连续映射(态射)构成的范畴,并证明内部算子空间范畴中的(有限)积的存在性.     

并滤子及其相关性质

给出了滤子的并未必是滤子的例证,并引入和考察了并滤子的概念.证明了并滤子对任意交和任意并的封闭性,格中并滤子的全体构成一个分配的完备格.     

相容滤子完备偏序集上投射算子的几个性质

本文从对偶地角度出发,引入了相容滤子集、相容滤子完备偏序集的概念,并研究了偏序集及相容滤子完备偏序集上投射算子的几个性质.证明了若p:L→L是偏序集L上保相容滤子交的投射算子,则p(L)在L中对相容滤子交封闭等相关结论.