关于扭曲Lie结构范畴中的对偶函子

首先介绍扭曲Lie余代数．然后讨论扭曲Lie代数和扭曲Lie余代数范畴．主要给出扭曲Lie结构范畴之间函于的一些性质。     

范畴上的一个函子及范畴

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

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

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

Locale范畴的反射子范畴

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

函子范畴的Recollement

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

函子范畴的等价

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

三角范畴的coherent函子范畴的recollement

文章研究了三角范畴D及其coherent函子范畴A(D)的recollement之间的关系.利用D的recollement可以诱导A(D)的prerecollement,文章证明了该prerecollement是recollement的充分必要条件是D的recollement是可裂的;并且D的recollement可以诱导A(D)的prerecollement.     

超滤函子余代数范畴

研究了超滤函子余代数范畴set_(F_u)的乘积和余积问题.首先构造了集合乘积上的超滤,讨论集合乘积上超滤的存在形式;接着利用超滤函子的性质给出了范畴set_(F_u)的有限乘积以及任意余积构造;最后证明了范畴set_(F_u)的终对象存在.改进了Gumm关于滤子函子的研究结果,深化了相关文献关于超滤函子余代数的研究.     

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

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

范畴RMnl上的一个函子

Let _RM_n^l′ be a category which is equivalent to the category of left R-modules.In this paper,we define afunction F:_RM_n^l→_RM_n^l′ and prove that the functor Fpreserves products,direct limits,injections,surjectios and total esactness.Finally,we show that the functor F is a left-adjoint of the inclusion functor I:_RM_n^l′→_RM_n^l. Hence I:_RM_n^l′ is a renective subcategory of _RM_n^l.     

集合范畴上超滤函子的余代数

定义了集合范畴上的超滤函子F_u(-),并研究了相关性质.包括函子F_u(-)在有限集上保拉回,一个集合的子集成为F_u-子余代数的充要条件,以及两个余代数之间的态射是F_u-余代数同态的充要条件,子集成为子余代数的充要条件,最后以拓扑空间作为F_u-余代数的具体实例,研究了拓扑空间的连续映射与超滤函子的余代数同态之间的关系.     

关于函子()0的注记

给出了一个对偶余代数问题的反例,作为反射代数的一个应用,建立从卷积代数Ｈｏｍ（Ｃ,Ａ）到余代数张量的对偶代数（Ｃ(?)Ａ⁰）的同构映射     

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

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

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

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

模糊格蕴涵代数范畴

本文提出了模糊格蕴涵代数范畴FLC的概念，讨论了它的一些基本性质并指出了它与范畴LC的关系．     

正合范畴的整体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).     

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

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

对偶扩张代数的shod子范畴与反变有限子范畴

设A是一个有限维代数,R是A的对偶扩张代数。本文研究代数R的shod子范畴,A-模范畴D的倾斜对象与R-模范畴D的倾斜对象之间的关系以及R的反变有限的子范畴。     

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

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

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

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