商范畴与hom函子

设R是有单位元的环,r=(T,F)是左R-模范畴R-mod上的遗传挠理论,R-mod/F是由遗传挠理论τ的挠类T所决定的R-mod的商范畴.设M、N是左R-模,则从M到N的所有τ-态射(即Rmod/T中的态射)的集合构成一个Abel群,用hom_R(M,N)表示.首先,说明了hom函子是从R-mod到Abel群范畴的左正合加法函子.其次,利用hom函子的正合性刻画了商范畴R-mod/T中的投射对象与内射对象.最后,证明了τ是正合挠理论当且仅当自然函子J:R-mod→R-mod/T保持投射对象不变.     

Cluster倾斜子范畴导出的Abel范畴的recollement和thick子范畴

设T是三角范畴D的cluster倾斜子范畴.首先,如果D具有一个关于三角范畴D′和D″的recollement,且满足i*i*(T)T,j*j*(T)T,则给出了这个recollement诱导Abel范畴D/T关于Abel范畴D′/(i*T)和D″/(j*T)的recollement的充分必要条件;其次,如果H是D的thick子范畴,i*表示自然嵌入函子i*:H→D的左伴随函子,且i*TT,那么Abel范畴A′=H/(i*T)是Abel范畴A=D/T的thick子范畴.     

个体集和强个体集的范畴性质

研究了个体集和强个体集的范畴性质.利用范畴论方法证明了个体集范畴、强个体集范畴与集合范畴在许多方面是相似的.例如,具有任一给定基数的个体集和强个体集是存在的;个体集和强个体集对于子集、幂运算封闭;非空个体集范畴和非空强个体集范畴都是完备的monoidaltopoi.构造了超结构函子V和超幂函子HF并得到:(1)对任意非空强个体集X和Y,g:X→Y是单射(resp.,满射)当且仅当V(g)是单射(resp.,满射);(2)对任意集X和Y,g:X→Y是单射(resp.,满射)当且仅当HF(g)是单射(resp.,满射).     

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

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

扩张子范畴的幂等完备化

给定三角范畴D的子范畴X,Y,证明了若X,Y是幂等完备的且HomD(X,Y[i])=0,其中i=0,-1,则其扩张子范畴X*Y也是幂等完备的.应用到t-结构上,证明了包含t-结构的心的最小的有厚度子范畴是幂等完备的.应用到右(左)recollement上,证明了两端的三角范畴是幂等完备的充要条件是中间的三角范畴是幂等完备的.     

拉回环上导出范畴的伴随函子

设R_1,R_2,R'是3个有单位元的结合环,环R是环同态j_1:R_1→R'和j_2:R_2→R'的拉回环.首先引入了左R_1-模复形范畴与左R_2-模复形范畴的积范畴的一个子范畴C(T),利用拉回函子方法构造了一个加法函子P:C(T)→C(R-Mod),以及S:C(R-Mod)→C(T),证明了(S,P)是一对伴随对函子.其次,在此基础上,研究了相应的左导出范畴,也得到相应左导出范畴之间的伴随对函子.最后通过一个例子说明在同伦范畴上没有相应的伴随对函子.     

幺半群S-系范畴函子的自然变换

给出了幺半群S-系范畴的若干对自然同构的函子.研究了Hom函子和张量函子的性质,并得到S-系是忠实平衡的一个充要条件.在幺半群S-系范畴中得到若干函子的自然同构.另外,对左R右S-双系U,证明了:RUS是忠实平衡双系当且仅当RR和SS是U-自反的.     

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

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

有限弱Y-稳定变换半群的极大子半群

设X是一个非空集合,T(X)是X上的全变换半群。对X的任意非空子集Y,令T(X,Y)={α∈T〓(X):Yα⊆Y},称其为弱Y-稳定变换半群。当X为有限集且Y是X的非单点真子集时,给出了T(X,Y)的极大子半群的结构与完全分类。     

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

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

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

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

幺半群S-系范畴的若干自然同构函子

给出了幺半群S-系范畴的若干对自然同构的函子.研究了Hom函子和张量函子的性质,得到了幺半群的一些刻画.在幺半群S-系范畴中得到若干函子的自然同构.另外,对左R右S-双系U,左R-系(右S-系)M,证明了:M是U-无挠的当且仅当U上生成M.     

模范畴中的左拟相伴函子对

令A和B是有单位元的结合环,考虑双模Λ∈BMA、X∈AMB和函子F=ΛA-:AM→BM,G=X B-:BM→AM.研究了模范畴中函子的左拟相伴函子,给出了F是G的左拟相伴函子的几个等价条件.     

范畴中的拟-morphic对象

本文引入了范畴中的拟-morphic对象,给出了其在p-exact范畴Abelian范畴中的一些性质。主要证明设A是p-exact范畴中的拟-morphic对象,则A的任一子对象均同构于A的一个像当且仅当A的任一像均同构于A的任一子对象;设C和D是Abelian范畴,F:C→D是完全忠实正合函子,且A∈Ob C,则A是拟-morphic的当且仅当F(A)是拟-morphic的。     

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

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

L-fuzzy滤子空间范畴

给出L-滤子和L-fuzzy滤子空间的概念,讨论了固定集合X上全体L-滤子之集的一些格论性质。研究了L-fuzzy滤子空间范畴LFIL的若干范畴性质,给出了范畴LFIL中等子和乘积的构造,证明了LFIL是拓扑范畴,得到了范畴LFIL与范畴LCFIL之间存在着一对伴随函子的结果。     

多值线性算子的正则Fredholm对的子空间序列

将单值线性算子的正则Fredholm对的研究思想推广到多值线性算子的范畴中,引入了Banach空间X、Y上的多值线性算子S、T构成的正则Fredholm对的概念及其相应的子空间序列(RS,n)n∈N、(RT,n)n∈N、(RS,n)n∈N+和(RT,n)n∈N+,证明(RS,n)n∈N、(RT,n)n∈N分别是Y、X的递减序列;当S(0)与T(0)都是有限维且n≥2时,子空间RS,n与RT,n分别是Y和X的有限维子空间,并给出了分解式RS,n=Mn+Y2n,RT,n=Nn+X2n。     

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

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

关于函子范畴的一点注记

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

关于Frobenius函子的一个注记（英文）

利用Frobenius函子来刻画Frobenius双模.证明了一个双模是Frobenius的当且仅当它作为左模和右模均是有限生成投射的,并且所对应的函子限制到有限生成投射模类上是一个Frobenius函子.利用这种刻画,得到了关于经典的自同态环定理的一种新的利用函子方法的证明.