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

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

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构-FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构—FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.     

模糊dcpo上的L-模糊Scott余拓

研究模糊dcpo上的L-模糊Scott余拓扑(即关于L-模糊集成为Scott闭集的程度映射)和L-Scott余拓扑(即全体L-Scott闭集构成的余拓扑),考察它们的特殊化L-序及其与模糊Scott连续映射的关系.     

关于函数空间的超连续性

超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.     

关于函数空间的超连续性

超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴.     

S-定向完备偏序集范畴

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

算术半格的闭包空间表示

本文主要讨论算术半格的闭包空间表示。首先通过在给定的闭包空间中增加适当的条件,提出了算术闭包空间的概念,并且给出了算术半格的闭包空间表示。接着提出了算术闭包空间之间的算术逼近映射的概念,并证明了以算术逼近映射作为态射的算术闭包空间范畴和以Scott连续函数作为态射的算术半格范畴之间的范畴等价性。     

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.     

Scott闭集格的C-代数性及其应用

引入了拟C-连续偏序集的概念,利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格.证明了满足性质M的dcpo上的Scott闭集格都是C-代数格,从而给出了具有同构Scott闭集格的两dcpo同构的新的充分条件.     

φ-拓扑

§1 φ-函子在连续格理论中存在着一类具有共性的函子,如函子φ_s:范畴COM_s(对象完备格,态射保任意交)→集范畴SET,φ_(L)为L的全体单点集;φ_D:范畴COM_D(对象为完备格,态射保任意交、有向并)→SET,φ_D(L)为L的全体有向集;φ_c:范畴COM_c(对象为完备格,态射保任意交、并)→SET,φ_c(L)为L的幂集P(L)。诸如此类的函子,我们给出定义如下:     

半极小集及其应用

在完备格中,引入半极小集概念,得到完备格L是半连续格当且仅当每一个元都有半极小集这一结论,同时给出半极小集的一些刻画性质.在半Scott连续映射的帮助下,给出了保半极小集的一些映射性质,并用这些性质证明了半连续格的子半格、商半格还是半连续格.     

可数Sober空间的若干性质北大核心

可数sober空间是sober空间的一种推广.本文讨论了可数sober空间的一些性质,特别地证明了以可数sober空间为对象、以连续映射为态射的范畴CSOB为完备范畴以及从任意空间到可数sober空间的连续映射空间为可数sober空间.     

可数Sober空间的若干性质

可数sober空间是sober空间的一种推广.本文讨论了可数sober空间的一些性质,特别地证明了以可数sober空间为对象、以连续映射为态射的范畴CSOB为完备范畴以及从任意空间到可数sober空间的连续映射空间为可数sober空间.     

拟连续格的逆极限

给出以保任意交和定向并为态射的拟连续格范畴的逆极限,讨论函子保广义拟连续格逆极限的条件。     

连续空间的性质

讨论了连续空间的基本性质,通过Galois联络证明了以连续(代数)空间为对象,以有下伴随且连续映射为态射的范畴与以连续(代数)空间为对象,以有上伴随且保■映射为态射的范畴是对偶范畴.     

模糊偏序集上理想完备的幂等性

主要讨论模糊偏序集上理想完备性的本质.并得到以下结论:模糊偏序集的理想完备是幂等的当且仅当理想完备上的广义Scott拓扑与Alexandroff拓扑是一致的.     

半连续格上的半Scott拓扑与半Lawson拓扑

在完备格上引入了半Scott拓扑与半Lawson拓扑,讨论了半连续格和强连续格上半Scott拓扑与半Lawson拓扑的一些基本性质。     

稳定映射与局部代数格范畴的笛卡儿闭性

本文引入稳定映射迹的概念，得到了局部代数格上的稳定映射可由迹唯一确定以及局部代数格的稳定映射空间关于稳定关系构成局部代数格，在此基础上证明了以局部代数格为对象稳定映射为态射的范畴是笛卡儿闭范畴。     

关于Domain范畴的若干性质

给出保逼近序的Scott连续伴随的等价刻划,在此基础上建立了几类以保逼近序的Scott连续函数为态射的Dom ain 范畴,并得到了这些范畴的一系列性质