笛卡儿闭Domain范畴的两个重要性质

对于CONT的任意一个笛卡儿闭的满子范畴C,构造CONT的两个新的满子范畴R-C(以C对象的收缩为对象的范畴)和B-C(以C扩张序列的双极限为对象的范畴),并证明了它们都是笛卡儿闭范畴。由于R-C和B-C都包含C为其满子范畴,利用上述结果可得CONT的极大笛卡儿闭子范畴必对收缩和双极限封闭。本文还从范畴笛卡儿闭性的角度给出了Domain理论中一个公开问题的等价描述。

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

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

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

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

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

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

Z-完备集上的一个扩张定理与范畴的性质

给出Z-完备集上的一个扩张定理,证明范畴ZP是一个笛卡儿闭范畴.

偏序集上的两类序收敛

研究了在任意偏序集中网的序收敛和滤子的序收敛的关系,证明了Birkhoff-Frink的网的序收敛和Ern-éGatzke的滤子的强序收敛相互协调,Wolk的网的序收敛和Ern-éGatzke的滤子的序收敛相互协调.如果偏序集是一个格,则这两种序收敛导出的拓扑一致.引入了序收敛格的定义,证明了序收敛格导出的序拓扑是一个Hausdorff正则空间,序收敛格的有限积是序收敛格,由全体序收敛的完备格构成的偏序集范畴的满子范畴是笛卡儿闭的.

FS-相容Domain的定向完备化及相关范畴性质

引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有:(1)FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;(2)FS-相容Domain是有限生成上集,从而是Scott紧的;(3)FS-相容Domain的定向完备化是FS-Domain;(4)有最大元的FS-Domain去掉最大元后是FS-相容Domain;(5)证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。

M-闭包空间的积、和与商

定义了M-闭包空间以及它们之间的连续映射。证明了M-闭包空间以及它们之间的连续映射所构成的范畴M-CS是一个topological construct但不是笛卡儿闭的(其中M是任一非空指标集),在此基础上给出了乘积M-闭包空间、直和M-闭包空间以及商M-闭包空间的概念,最后指出M-闭包系统和M-弱闭包算子可以相互确定。

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

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