范畴 RMRl上的一个函子及范畴A Grn0

本文定义了一个由范畴 _RM_R^l到范畴Ａ G_rn⁰ 的函子Ｇ，并证明了函子Ｇ保持分量正合及全正合，关于范畴ＡＧG_rn⁰ 证明了定理：     

左三角范畴的局部化

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

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

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

函子范畴的Recollement

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

四元数环与四元数函子

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

三角范畴和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理论.     

在具有终对象的范畴内的正合列

本文对于具有终对象的范畴定义了四个一般正合列．在Ａｂｅｌ范畴同调代数里，对于具有零对象的任何范畴四个一般正合列与通常的正合列相同     

涉及迹同伦范畴的几对伴随函子

Ｋ．Ａ．Ｈａｒｄｉｅ与Ｋ．Ｈ．Ｋａｍｐｓ研究过固定空间Ｂ上的迹同伦范畴（［１］）．他们引进了两对伴随函子ＰＢ┤ＮＢ与ｍ┤ｍ，此处ｍ：ＡＢ是固定映射，ＰＢ：ＨＢＨＢ与ｍ：ＨＡＨＢ是函子．我们在［２］中引进了分裂的范畴纤维化Ｌ：ＨｂＨＢ，并且证明了Ｌ┤Ｊ，Ｊ┤Ｌ．本文首先将ＰＢ┤ＮＢ推广到ＰＢｂ┤ＮＢｂ＃，其中ｂ：ＢＢ是任一固定映射，并且我们还得到涉及迹同伦范畴Ｈｂ与Ｈｂ的两对伴随函子，此处Ｈｂ是Ｈｂ的对偶．特别，Ｎｂ┤Ｐｂ不同于ＰＢ┤ＮＢ．     

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

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

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

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

函子范畴的等价

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

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

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

广义Comma范畴的Recollement

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

正合范畴的整体Gorenstein维数

设A是有足够多投射对象和足够多内射对象的正合范畴.本文研究了A的整体Gorenstein维数和A中的Gorenstein导出函子.利用同调的方法,证明了:如果A有可数直和与可数直积,那么sup{GpdM|M∈A}=sup{GidM|M∈A};对A中的对象M, N,若Gp M <∞, GidN <∞,则对任意的i≥0, Ext_GPⁱ(M, N)≌Ext_GIⁱ(M, N).     

正合范畴中的复形、余挠对及粘合

作者在弱幂等完备的正合范畴(A,E)中引入了复形的新的定义,并且证明了E-正合复形的同伦范畴Kex(E)是同伦范畴KE(A)的厚子范畴.给定(A,E)中的余挠对(x,y),定义了正合范畴(CE(A),C(E))中的两个余挠对((x)E,dg(y)E)和(dg(x)E,(y)E),并且证明了当A是可数完备时,CE(A)中...     

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

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

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

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

稳定范畴与三角等价

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

左R-n模的范畴与Hom函子

正合列问题是同调代数的基本问题之一。在Abel范畴的同调代数中,先有核的概念再讨论正合列的概念。但,因n-予加法范畴不具有零对象,欲讨论正合列,对其引进拟核。本文对左R-n模的范畴_R~M_n~l讨论了与拟核相应的正合列;把Hom函子推广到_R~M_n~l上,讨论了它关于拟正合列、弱双积、正向系统的正向极限的不变性。至于对带终对象的范畴的正合列的讨论我们将在中进行。     

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

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