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

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

格序群的覆盖函子和圈积

继续研究了格序群的覆盖函子，自由积函子，张量积函子，以及反向极限函子和圈积函子之间的关系，进一步推广了Martines J，Serimger E，Powell B和Tsinakis C关于l-群自由积和偏序群的自由扩张的关系．     

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

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

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

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

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

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

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

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

(L)子集范畴中定向函子与逆向函子的伴随性研究

引入态射为zadeh型映射的L子集范畴中zadeh型定向函子与逆向函子的概念,证明它们是一对伴随函子.进一步引入态射为双诱导型映射的L子集范畴中双诱导型定向函子与逆向函子的概念,并证明它们也构成一对伴随函子.     

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

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

L-Top上的Ir-函子

对frame L中的素元r, 引入了范畴L-Top上的一具体函子Ir,证明了该函子为层Lowen 函子ωrL与ιrL的复合,给出了其若干应用,讨论了它与Rodabaugh的满层化函子GLk的关系。     

函子范畴与幂等完备化构造的相容性

讨论函子范畴和范畴的幂等完备化构造的相容性,证明小范畴D到任意范畴C的函子范畴C D的幂等完备化范畴等价于D到幂等完备化范畴C～的函子范畴(C～)D.进一步得到函子范畴CD是幂等完备的,当且仅当C是幂等完备的.     

范畴的伴随函子

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

广义Comma范畴的局部化

借由两个函子诱导出广义Comma范畴,并找到该范畴中的局部类,从而建立局部化范畴.在此基础上,根据局部化范畴所对应标准函子的泛性得到的两个函子可诱导出另一个广义Comma范畴.最后证明该范畴与前面所建立的局部化范畴是等价的.     

Locale的紧正则极不连通反射

本文从任一给定LocaleA,构造出一个紧正则极不连通Locale J(A),且证明了:(1)A是J(A)的稠子locale当且仅当A是正则极不连通(2)对是范畴Loc到子范畴KREDLOC的函子(3)J是子范畴KREDLOC到范畴EDLOC的包含函子的左伴随函子,(即KREDLOC是范畴EDLOC的可反射子范畴。     

导出微分分次范畴的Nakayama函子

设A是域k上的DG范畴,B.Keller定义了微分分次范畴Dif A的DG函子ν。在定义了Dif A的DG函子的基础上,证明了ν和是HA的正和函子,且ν和诱导了DA的正和函子Lν和R。     

Hom-tensor关系式中的两个逆同构

模范畴中有两个重要的Hom—tensor关系式,通常是利用一般的范畴和函子理论来证明的,这种证法没有给出其中的自然同构的逆同构。本文利用投射模的对偶基,给出了它们的逆同构。     

关于伴随函子的等价定义

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

一些子范畴的反变有限、共变有限及函子有限性

反变有限子范畴、共变有限子范畴和函子有限子范畴的研究在代数表示论中是非常重要的．文中，讨论了ｍｏｄＡ的一些满子范畴的反变有限、共变有限和函子有限等性质     

L—Fuzzy拓扑群范畴

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

拉回的第六等价定义及其应用

给出拉回、集体拉回、I-拉回、广义拉回的第六等价定义,即从可表函子角度定义,并用此定义证明了函子范畴的一个有趣结果.     

关于函子范畴的一点注记

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