关于伴随函子的等价定义

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

关于半模上的Hom函子

在半模范畴中,获得了关于半模上的Hom函子的两个自然同构:HomR( i∈IMi,Us) i∈IHomR(Mi,Us),HomR(Us, i∈IMi) i∈IHomR(Us,Mi).进一步地,利用半模的性质,分别举例论证了:在一般情况下,当第一变量为无限直积或第二变量为无限直和时,这样的同构不存在.     

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

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

环的张量积

该文给出了环的张量积的定义，并证明了张量函子保持环的右正合列。     

L-fuzzy quantale若干性质的研究

首先给出了L-fuzzy quantale的定义,将L-fuzzy frame的一些重要结论推广到L-fuzzy quantale中,并给出了L-fuzzy quantale的一些等价刻画。其次,在Quantale中引入了L-滤子以及L-滤子Quantale的概念,证明了由任意一个L-滤子可以生成一个L-fuzzy quantale,在范畴L-FilQuant与范畴L-FQuant之间可以建立一个诚实函子。最后,引入了L-fuzzy理想、准素理想以及素理想的概念,讨论了它们的一些性质,得到了若干重要结论。     

逆半群的张量积与群的张量积

证明逆半群范畴中张量积存在，并建立它与群张量积及半格张量积的关系。     

双交叉余积与Monoidal函子

设Ｈ和Ａ为双代数,Ｒ∈ＨＡ为弱－Ｒ矩阵且Ｂ＝ＸＡ为交叉余积,研究了ｍｏｎｏｉｄａｌ范畴ＨＭ,ＡＭ,ＨＭ×ＡＭ和ＢＭ之间的联系,给出了若干（辫子）ｍｏｎｏｉｄａｌ函子的构造方法。     

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

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

关于完备化函子

引入完备化函子的定义,讨论其与有限直和、矩阵环的关系及单性.     

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

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