$D_4$型李代数包络代数旋模的范畴化

本文我们定义复数域$C$上一般线性李代数${\rm gl}_n$ BGG 范畴的若干子范畴及其上的投射函子,利用这些子范畴和投射函子范畴化了$D_4$型李代数包络代数旋模的$n$-次张量积.     

范畴上的一个函子及范畴

本文定义了一个由范畴Ｍ到范畴Ａ的函子Ｇ，并证明了函子Ｇ保持分量正合及全正合，关于范畴ＡＧ证明了定理：任意则其中Ｐ为素数．     

函子范畴的等价

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

拟Abelian范畴上函子范畴的局部化

通过拟Abelian范畴的局部类构造出函子范畴的局部类,进一步研究函子范畴的局部化范畴与局部化范畴的函子范畴之间的关系.     

双诱导型定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.     

函子范畴的Recollement

函子范畴是—类重要的范畴,因为许多常见的范畴都是函子范畴,并且任意给定的范畴都可以通过Yoneda引理嵌入到一个函子范畴,而函子范畴具有比原范畴更好的性质。本文证明了Abel范畴的recollement可以自然诱导两类函子范畴的recollment．应用到k-线性范畴,得到k．线性Abel范畴的recollement可以自然诱导其模范畴的recollement．     

基于Ω-范畴的定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。     

广义Comma范畴的Recollement

本文研究广义Comma范畴上Recollement问题.利用Abel范畴上Recollement及其伴随函子,诱导出广义Comma范畴,并利用比较函子构造出广义Comma范畴上的Recollement.这些结果推广了一般Abel范畴上的Recollement,丰富了Comma范畴研究.     

函子范畴上加性函子的一个表示

研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴ModC上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范畴ModC到范畴Ab的任意变和为积的反变左正合可加函子都与某个Hom函子自然等价.所得结论在函子范畴上,推广了Watts定理.     

三角范畴和Abel范畴的Torsion理论

本文主要研究了三角范畴在Abel化过程中torsion理论的保持问题.利用三角范畴的coherent函子范畴是Abel范畴,证明了T的coherent函子范畴A(T)是A(D)的thick子范畴;若(X,Y)是D的torsion理论,且D=X*Y的扩张是可裂的,那么(A(X),A(Y))是A(D)的torsion理论.     

四元数环与四元数函子

本文给出了交换环上的四元数环是除的两个充要条件，在环范畴的子范畴间定义子四元数函数子，并证明了它是一个正合函子，同时讨论了环类的遗传性，同态闭性在四元数函子下的变化情况。     

Locale范畴的反射子范畴

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

模糊集范畴及集合范畴上的模

本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论.     

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

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

左三角范畴的局部化

本文通过左挠对给出左三角范畴的局部化,证明了左三角范畴的局部化范畴仍然是左三角范畴,并证明了左三角范畴的正合列通过稳定化函子可以导出三角范畴正合列.     

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

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

对称的满层L-Kent收敛空间范畴的子范畴

在满层的L-Kent收敛空间中引入了对称性的概念,定义了对称的满层L-Kent收敛空间范畴,对称的满层L-极限空间范畴,对称的满层L-主收敛空间范畴,对称的满层L-拓扑空间范畴.证明这四个范畴是拓扑范畴,并且后一个是前一个的反射子范畴.最后证明了对称的满层L-Kent收敛空间范畴和对称的满层L-极限空间范畴是笛卡儿闭的.     

广义Frame与广义Frame的商

本文将frame、frame同态、商frame与核的概念在范畴意义下作推广,并且证明Frame范畴是广义Frame范畴的反射子范畴.进而讨论了一个广义frame A的商与A上核函子之间的关系.特别地,我们证明了A上全部核函子所构成的范畴N(A)是一个广义frame.     

Gorenstein AC亏范畴*

作者定义了Gorenstein AC导出范畴 D^b_gac(R)并且和导出范畴作了一些比较.作者定义了Gorenstein AC奇点范畴 D^b_gacsg(R),在这个范畴中具有有限Gorenstein AC- 投射维数的模都是零对象.同时, 作者给出了由Gorenstein AC- 投射模构成的稳定范畴到奇点范畴的三角嵌入 F : GAC → D^b_sg(R) .通过作函子 F 的商引入Gorenstein AC亏范畴 D^b_gacd(R),并且给出三角等价 D^b_gacd(R) = D^b_gacsg(R)     

范畴Ω-Cat的函数空间及其性质

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。