闭集格上拓扑等价的一个充分必要条件

本文对拓扑空间闭集格上的各种拓扑的等价性进行了研究，得到了它们等价的一个充分必要条件。     

闭集格上的拓扑

本文对拓扑空间闭集格上的各种拓扑与空间原有拓扑在分离性、拟紧方面的关系进行了统一的研究，揭示出拓扑与格间的部分的固有联系。     

范畴CoFrm的逆极限和定向极限

设CoFrm是coframe(即满足第二无限分配律的完备格)及coframe间保任意并,且其右伴随保有限并的映射组成的范畴.在CoFrm范畴的逆向系{Aα,αρβ,Σ}中各Aα不交并上建立了等价关系,给出了定向系{Aα,αρ*β,Σ}在格范畴下的余极限构造,并在此基础上给出了范畴CoFrm逆极限的具体构造.此外,还给出了范畴CoFrm的定向极限的具体构造.     

对合Quantale范畴中的定向极限

讨论了对合Quantale范畴中函子作用在上有界集上的定向极限，并且给出了该定向极限的具体结构，同时得到了定向极限为单渗漏的一个充分条件．     

可加广义代数格上的分离性

邓自克教授提出的可加的广义代数格范畴,等价于T0—拓扑空间范畴.从而可加的广义代数格可以看作为一个闭集格,在本文,我们建立了正则、完全正则、正规等分离性.     

广义代数格的可加性与T0拓扑

证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的，进而证明可加广义代数格之范畴等价于T0拓扑空间之范畴。因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用。     

Quantale模范畴的良幂性及其定向极限

本文首先证明了Quantale模范畴有交且是平衡范畴;其次得到了Quantale模上的核(余核)映射与其在Quantale模范畴中的商(子)对象是一一对应的,从而证明了Quantale模范畴是极端余良幂的和极端良幂的;最后,讨论了Quantale模范畴的定向极限,并给出具体结构.     

加法范畴的极限范畴是加法范畴

讨论以范畴C中的极限为对象,极限态射为态射构成的极限范畴Cl.研究极限范畴的上积,并证明加法范畴的极限范畴仍为加法范畴.     

关于极限概念的发展

将函数的极限概念进行了推广，引入了定向函数的极限定义．并对极限进一步发展成为一般定义———网格的极限作了简要介绍．     

由T0空间的特殊化序定义的定向空间

通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间.该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质.特别地,本文证明了所有定向空间及连续函数构成的范畴是T0空间范畴的余反射子范畴并且具有cartesian闭性以及定向完备偏序集范畴是该范畴的真子范畴.     

Cartesian closedness of categories of completely distributive lattices

The category of completely distributive lattices with Scott continuous functions is cartesian closed. Neither the category of completely distributive lattices with arbitrary union preserving mappings nor the category of completely distributive lattices with nonempty union preserving mappings is cartesian closed.     

拓扑分子格范畴中的逆系统及其逆极限

从范畴论的观点给出了拓扑分子格中逆系统的定义,得到了逆系统的逆极限结构,引入了两个逆系统之间映射的定义,由此导出了两个逆系统的逆极限之间的连续映射,称之为极限映射．最后,讨论了极限映射的一系列性质．     

模糊完备格范畴中的乘积和余积

讨论了以L-模糊完备格为对象、以保任意L-模糊集并的映射为态射的L-模糊完备格范畴LSUP中的乘积和余积,给出了乘积和余积的具体结构,推广了经典完备格范畴的结论,为研究此范畴的其他性质打下了基础。     

完全分配格上的拓扑结构

本文在完全分配格上建立了T-结构理论(它是拟邻近结构理论在完全分配格上的推广),讨论了拟一致结构、T-结构和余拓扑的相互诱导问题。用范畴的观点讨论了这三种结构的关系,证明了T-分子格范畴同构于全有界拟一致分子格范畴;拓扑分子格范畴同构于交完备T-分子格范畴;一个完全分配格上全体T-结构在集合包含序之下构成完备格。本文的结果完善了完全分配格上的拓扑结构框架,推广了分明拓扑学和不分明拓扑学的相应理论。     

关于两个Cartesian闭范畴交的一点注记

讨论了关于双Scott拓扑的一些性质．证明了范畴BICONT（即以双连续格为对象，以双Scott连续映射为态射的范畴）作为两个Cartesian闭范畴BICONTS（即以双连续格为对象，以Scott连续映射为态射的范畴）和BICONTSop（即以双连续格为对象，以对偶Scott连续映射为态射的范畴）的交范畴不是Cartesian闭范畴．     

有限极小集

本文讨论了完备格上有限极小集和可分子生成的格的性质,证明了可分子生成的格范畴与Sober拓扑空间范畴的反范畴的等价性;在此基础上给出了完全分配格的一族刻划.     

左R-n模范畴上Hom函子的一些性质

本文讨论了左R--n 模范畴RM_n~1上的Hom 函子关于积.弱上积,反向系统的反向极限及正向系统的正向极限的不变性.     

子拓扑分子格

借助范畴论中的正则子对象,引入了子拓扑分子格概念。由正则子对象的基本事实可知,子拓扑分子格是关于子拓扑空间概念的各种推广中的最广形式,具有几乎子拓扑空间的所有遗传性质。同时还给出了子分子格的几种等价描述,讨论了一个分子格的所有子分子格之集的代数性质。     

Frame偶范畴及若干相关的范畴

引入frame偶范畴FrmPair,它以Frame范畴Frm为子范畴,证明在范畴等价意义下,分子格范畴CD是locale范畴Loc的子范畴;拓扑分子格范畴TML是范畴FrmPoir之逆范畴的子范畴。     

同余格范畴中态射的性质

本文研究了同余格范畴中的态射,并得到了相应的结论.