相容连续范畴

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

关于连续Ω-范畴的讨论

作者引入了理想完备Ω-范畴上的way below关系与完备Ω-范畴上的well below关系,证明了理想完备Ω-范畴上的连续性和完备Ω-范畴上的完全分配性可以分别用这两个关系来刻划,得出了完全分配Ω-范畴连续的推论.     

连续Quantale及其范畴性质

研究了连续Quantale及其范畴性质,定义了半连续Quantale,在此基础上讨论了半连续Quantale、连续Quantale和正则Quantale之间的关系.证明了严格右侧的连续Quantale是正则Quantale,严格右侧的左侧Quantale是连续Quantale当且仅当它是半连续Quantale.给出了连续Quantale中理想的概念,探讨了连续Quantale中理想和连续Quantale范畴的性质,证明了此范畴不仅是点化的、连通的,而且有乘积、每一个投射都是收缩.     

Ω-Abel群范畴中的积与余积

引入以交换的有单位元的Quantale为真值集的Ω-Abel群范畴的概念,利用范畴理论研究了Ω-Abel群范畴的积与余积.     

邻域系算子范畴及相关性质

对拓扑空间中的邻域系性质进行了进一步研究.提出了邻域系算子和邻域连续映射的概念,定义了邻域系算子范畴,讨论了该范畴上的余积和乘积,并证明了邻域系算子范畴与拓扑范畴是同构的2个范畴.     

映射族确定预拓扑空间

讨论了由映射族确定预拓扑空间的一些方法,定义了预拓扑空间范畴preTOP,并证明预拓扑空间范畴preTOP具有乘积、余积．     

Z-连续格的一个范畴刻划

记A表示以完备格为对象且《满足插入性质,保Z-并和保≤z的映射作为态射的范畴,而B是A中全体Z-连续格为对象的满子范畴,我们给出了Z-连续格的一个范畴性质-余反射性质,即B在A中是余反射的。     

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

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

几类特殊范畴的极限范畴

考虑几类特殊范畴上的极限范畴.证明了k-范畴(G-范畴,Artin范畴,Noether范畴)的极限范畴是k-范畴(G-范畴,Artin范畴,Noether范畴).     

完备格范畴中自由—连续格的存在性

本文用ψ—极小集和范畴论的方法讨论了完备格中ψ—连续元的性质，给出了完备格范畴中自由ψ—连续格存在性的构造性证明．