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

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

自由函子及其伴随

证明了由集合范畴到广模范畴的自由函子的存在性,更重要的是构造了自由函子的伴随函子。     

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

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

范畴的伴随函子

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

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

设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的关系。     

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

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

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

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

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

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

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

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

关于伴随函子的等价定义

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

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

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

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

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

同纬映象的上乘法问题

证明了由两种途径得到点标拓扑空间Z的同纬映象SZ上的两个上乘法是同伦的。同时，也证明了对偶结果：通过两种途径得到点标拓扑空间Y的回路空间ΩY上的两个乘法也是同伦的。     

闭路函子和同纬函子保持同伦正则性

证明了闭路函子和同纬函子保持同伦正则性 ,同时构造出了一系列同伦等价的空间     

关于拟 Frobenius 余环

定义并研究了拟 Frobenius 余环,证明了下面几个等价条件:C 是拟 Frobeniua 余环;AC有限生成投射模,并且 l:A→˙C 是 Frobenius 扩张;CA 有限生成投射模,并且l:A→C˙是 Frobenius 扩张;忘却函子Ur:Mε→MA是拟 Frobenius 函子;(G1,U1)与(Gr,Ur) 都是拟左 Frobenius 函子偶;忘却函子Ul:εM→AM 是拟 Frobenius 函子.     

范畴中反射和余反射的特征

通过广义的推出和广义的拉回结构，本文主要得到了关于反射及其对偶的一个判别准则，本文还得到其它几个关于反射和余反射范畴的结果。