强Sober空间的若干性质

讨论了强Sober空间的一些基本性质,证明了强Sober空间关于闭子空间和紧饱和子集是遗传的,强Sober空间的乘积仍为强Sober空间,强Sober空间的连续收缩为强Sober空间.     

超Sober空间与k-有界Sober空间的性质

讨论了超Sober空间与k-有界Sober空间的一些性质,厘清相关拓扑之间的关系.特别地证明了一个空间是超Sober空间当且仅当其Smyth上幂空间为超Sober空间;任意一族k-有界Sober空间的积空间为k-有界Sober空间.     

超Sober空间与k-有界Sober空间的性质北大核心

讨论了超Sober空间与k-有界Sober空间的一些性质,厘清相关拓扑之间的关系.特别地证明了一个空间是超Sober空间当且仅当其Smyth上幂空间为超Sober空间;任意一族k-有界Sober空间的积空间为k-有界Sober空间.     

拓扑空间范畴,拓扑FUZZ范畴与拓扑分子格范略畴间的反射与余反射

从整体角度出发，证明拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚｚｙ是ＴＭＬ的反射与余反射（非满）子范畴。     

拓扑空间范畴、拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射

从整体角度出发，证明了拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚ是ＴＭＬ的反射与余反射（非满）子范畴．     

局部强紧空间的Hoare空间与Smyth空间

本文主要讨论局部强紧空间的性质,特别是其Hoare空间和Smyth空间的性质,证明了T_0空间为局部强紧空间的当且仅当其Hoare空间为局部强紧空间,局部强紧空间的Smyth空间为C-空间.对于强局部紧空间,我们有类似的结论.     

稳定范畴与三角等价

外三角范畴是三角范畴和正合范畴的推广,很多重要的结论都能统一在这个框架下.本文通过外三角范畴中的理想商实现了模型结构诱导的局部化商,即建立了这两种商范畴之间的三角等价.与此同时,也将此结果应用到Frobenius正合范畴、环R的同伦范畴和Gorenstein对象的稳定范畴.     

因素空间和范畴

本文讨论了几种模糊范畴的Ｔｏｐｏｓ性质，把集丛理论、范畴理论应用到因素空间的研究之中，建立了同一因素集上和不同因素集上的因素空间之间的关系，并给出了子因素空间的概念和子因素空间的布尔运算。     

一个强极限定理

设是可列非齐次马氏链，本文通过利用［１］中提出的在Ｗｉｅｎｅｒ概率空间的一种实现，而给出了一个对任意可列非齐次马氏链普遍成立的强极限定理。     

关于强J-空间与JHB-空间

引入了两个很有联系的空间类JHB-空间与强J HB-空间，分别推广了J-空间与强J-空间.讨论了J-空间、强J-空间、J HB-空间及强JHB-空间类间的相包含关系及此四空间类逆包含的条件，还得到了JHB-空间的内部刻画，并证明了若对每个α∈S，Xα.都是非紧的连通空间，则积空间∏α∈S Xα是强J-空间。     

Sober拓扑分子格

A topological molecular lattice (TML) is a pair (L, T), where L is a completely distributive lattice and r is a subframe of L. There is an obvious forgetful functor from the category TML of TML‘s to the category Loc of locales. In this note,it is showed that this forgetful functor has a right adjoint. Then, by this adjunction,a special kind of topological molecular lattices called sober topological molecular lattices is introduced and investigated.     

代数$\Omega$-范畴的等价范畴

本文基于$\Omega$-范畴研究了(连续) $\mathcal{I}$-余万备$\Omega$-范畴的一些性质. 我们给出了双完备$\Omega$-范畴和逼近双模的概念并讨论了它们的性质, 证明了任何$\mathcal{I}$-余万备$\Omega$-范畴都是双完备$\Omega$-范畴. 得到了代数$\Omega$-范畴范畴等价于双完备$\Omega$-范畴.     

纯奇点范畴中的Buchweitz定理

我们定义纯奇点范畴D_(psg)~b(R)为有界纯导出范畴D_(pur)~b(R)与纯投射模构成的有界同伦范畴K~b(■)的Verdier商,得到了纯奇点范畴D_(psg)~b(R)三角等价于相对纯投射模的Gorenstein范畴的稳定范畴■的一个充分必要条件.同时,还给出三角等价D_(psg)~b(R)≌D_(psg)~b(S)的充分条件,这里R和S都是环.     

Quantic格范畴

系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备范畴。     

诱导空间的等价刻化及其应用

本文给出了诱导空间的几个等价的层次刻化，改进了已有的诱导空间中闭包（内部）算子层次刻化的结果，作为应用，我们推广了文「１」中有关分离性的几个定理。     

Locale范畴的反射子范畴

本文研究ｌｏｃａｌｅ范畴的反射子范畴，给出反射子范畴的刻划定理，从一般的ｌｏｃａｌｅ出发，完全构造性地给出了ｌｏｃａｌｅ的正则反射、完全正则反射和零维反射的构造．     

函子范畴的等价

本文建立了函子范畴等价的Ｍｏｒｉｔａ理论．考虑的主要问题是ｍｏｄＣ何时等价于ｍｏｄＣ′及这些等价条件．同时定义了函子范畴的双模和函子张量积，并刻画了等价函子．