范畴的伴随函子

研究了两个Grothendieck范畴之间的关系及一般伴随函子之间的关系.所得结果对研究各种代数结构是有用的.     

简单图范畴与群范畴之间的一对伴随函子

基于群中元素的交换性,构造了一个函子G：Groups→s -Graphs ,并且构造了其反向函子F：s -Graphs→Groups ,证明了F恰是G的伴随函子。     

关于伴随函子的等价定义

伴随是范畴论中最重要的概念之一．其定义涉及多个量且难以理解。介绍了伴随函子的几个等价定义,证明了各个定义的相互等价性．从而可以更加直观地理解伴随函子的定义．并给出了伴随函子的应用例子。     

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

给出了函子范畴中任意右正合保直和可加函子F与张量函子B自然等价的一个定理.将关于模范畴的Watts定理推广到函子范畴.     

函子范畴与范畴的平凡扩张

设C为小范畴,D为预加法范畴,根据范畴D上自加法函子F,定义函子范畴F上自加法函子f,并给出一族范畴同构(D∝F)C≌D∝F     

函子范畴的本质(多余)子对象

设C是小范畴,则范畴D中的本质(多余)子对象构造出函子范畴DC中相应的本质(多余)子对象。反之,设F,G是函子范畴DC中的两个常值函子,若F是G的一个本质(多余)子对象,则对任意x∈obC,在范畴D中有F(x)是G(x)的一个本质(多余)子对象。     

复形范畴函子((○)RY,homs(Y,-))的同伦伴随性

主要讨论了复形范畴的张量积函子与hom函子的同伦伴随性,并且给出了同伦正则正向极限的定义,证明了复形范畴的张量积函子保持这种极限.     

复形范畴函子(_RY,hom_s(Y,-))的同伦伴随性

主要讨论了复形范畴的张量积函子与hom函子的同伦伴随性,并且给出了同伦正则正向极限的定义,证明了复形范畴的张量积函子保持这种极限.     

复形范畴函子（×RY，homs（Y，-））的同伦伴随性

主要讨论了复形范畴的张量积函子与horn函子的同伦伴随性，并且给出了同伦正则正向极限的定义，证明了复形范畴的张量积函子保持这种极限．     

关于函子范畴的一点注记

在介绍函子范畴的概念及例子的基础上,证明了拟Abel(正合)范畴的函子范畴仍是Abel(正合)范畴,并给出两个应用.     

群缠绕模范畴的可分函子

设π是1个群.在Hopfπ-代数情形下,π-缠绕结构和π-缠绕模的概念被引入,并得到了π-缠绕模范畴上的忘却函子可分的充要条件,其中忘却函子忘却的是π-模作用.最后,作为应用证明了π-缠绕模的Maschke-type定理.     

赋值模范畴Fm中的张量函子

引入了一类赋值模范畴Ｆｍ及赋值横模的张量积概念,并进一步找到张量函子在Ｆｍ中存在的条件,最后讨论了Ｈｏｍ模和张量模之间的关系,导出两个重要的弱赋值模同构。     

对合Quantale范畴中的定向极限

讨论了对合Quantale范畴中函子作用在上有界集上的定向极限，并且给出了该定向极限的具体结构，同时得到了定向极限为单渗漏的一个充分条件．     

Tensor Functors in the Category Fm of Evaluated Modules

Introduced the category F_m of the evaluated modules and constructed Hom functors,introduced the concept of tensor products for evaluated modules and then find the condition for existence of the tensor functors.Finally discussed the relationship between Hom modules and tensor modules and induced two important weak isomorphisms of evaluated modules.     

具有泛分解态射的广义(I,…,j)逆

给出了范畴中具有泛分解态射的广义 (i,… ,j)逆存在的一些充要条件 ,证明了态射的广义Moore Penrose逆的充要条件及其表达式 ,推广了关于态射的(i,… ,j) 逆的一些结果。     

分块态射的广义逆

讨论了分块态射的Moore-Penrose逆,用不同与文[1]的方法给出了分块态射f=（u v）的Moore-Penrose逆表达式．这个表达式与Petr Peska（2000）给出的等价．     

L集合范畴中的极限

以范畴论为基础，引入L集合范畴Set（L）概念，分别研究了Set（L）中的极限与余极限问题，同时给出了Set（L）中极限的具体结构和一些性质．     

L—Fuzzy拓扑群范畴

介绍了 Ｌ－Ｆｕｚｚｙ拓群范畴,引入了两个函了了,构造了它们的右伴随函数子,证明了分明拓扑群范畴和诱导Ｌ－Ｆｕｚｚｙ拓扑群范畴都是Ｌ－Ｆｕｚｚｙ拓扑群范畴的余反射子范畴,引入了一遗忘函子,