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

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

可数逼近偏序集的若干性质

可数逼近偏序集是连续偏序集的一种推广,讨论了可数逼近偏序集的一些拓扑性质以及与连续映射相关的性质,结果表明:可数逼近偏序集具有许多类似于连续偏序集的良好性质.     

广义Z-拟连续偏序集的若干性质

讨论了广义Z-拟连续偏序集的一些性质.利用伴随给出了广义Z-拟连续偏序集的等价刻画.证明了当Z是具有有限族并性质的Rudin子集系统时,Z-交连续的广义Z-拟连续偏序集是Z-拟连续偏序集.     

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

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

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

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

关于连续偏序集的注记

研究了domain的推广--连续偏序集的Cartesian积以及连续偏序集和代数偏序集的一些性质.给出了连续偏序集的若干等价刻画.     

连续预序集(英文)

介绍了连续预序集的概念及其基本性质,得到以连续偏序集为对象,Scott连续函数为态射的范畴CPOSET是以连续预序集为对象,Scott连续函数为态射的范畴CPRSET的反射子范畴.     

Z-连续偏序集的基

引入了Z-连续偏序集的基的概念,给出了它的刻画定理.研究了Z-连续偏序集上的Z-Scott开集,Z-Lawson开集,Z-Scott拓扑及Z-Lawson拓扑的一些性质.     

偏序集范畴的Cartesian闭性

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

广义Z-连续偏序集的几个拓扑注记

给出了Z-连续偏序集和广义Z-连续偏序集的一些拓扑性质.文章主要证明了若P是一个强的Z-交连续的广义Z-连续偏序集,则它的Lawson拓扑λZ(P)是一个T3拓扑.