d‐Cl uste r 范畴上的相对 d‐Rigi d 子范畴

通过定义d-cluster范畴上的相对d-rigid子范畴, 证明了在d-cluster范畴上, 对于给定的d-rigid子范畴, 其对应的相对d-rigid子范畴和rigid子范畴等价.     

模糊Z-Quantale范畴的反射子范畴

利用模糊Quantale上的模糊预核映射,证明模糊Quantale范畴是模糊Z-Quantale范畴的反射子范畴,给出由万有映射像集生成的模糊Quantale的具体结构,并讨论由反射子构造的模糊Galois伴随.     

d-Cluster范畴的Grothendieck群

2008年,Barot, Kussin, Lenzing 对代数闭域上的有限表示型的遗传代数的Cluster范畴的Grothendieck 群做了刻画. 作者在本文中对其推广,得到了代数闭域上有限表示型遗传代数上的d-Cluster范畴的Grothendieck 群.     

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子范畴.     

FBN环上模范畴的子范畴分类

将模的support,Spec(R)的coherent子集等概念推广到非交换诺特环的情形.利用不可分内射模的结构,由模的相关素理想及support分别导出R-模范畴的全子范畴与Spec(R)的子集之间的一些对应关系.由相关素理想对应导出{Mod-R的对子模、扩张、直接并封闭的全子范畴}与{Spec(R)的子集}是一一对应的充要条件,通过取模的support导出{Mod-R的对直和封闭的thick子范畴}与{Spec(R)的coherent子集}是一一对应的一个充分条件.     

半群POn的极大子半带

考虑有限链上的部分保序变换半群POn, 通过对其幂等元的分析, 得到了POn极大子半带的结构与分类.     

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

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

阿贝尔范畴的子范畴的扩张的同调有限性

同调有限(即反变有限或正变有限)子范畴在代数表示论研究中起着重要作用.本文研究了阿贝尔范畴的子范畴扩张的反变有限、正变有限性.特别地,作者证明了在一定条件下两个torsion类的扩张子范畴是torsion类,并将此结果应用到上三角矩阵代数上得到构造上三角矩阵代数上的torsion类方法.     

L集合范畴的子对象分类子

以topos理论为工具,证明了L集合范畴中不具有子对象分类子,但在强映射L集合范畴中具有子对象分类子．     

范畴的伴随函子

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

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

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

关于函子范畴的一点注记

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

表示成涵子范畴的模糊范畴

利用模糊集的范畴Ｆｕｚ，分别给出了四个范畴Ｆｕｚ２，ＦｕＺ→，Ｍ－Ｆｕｚ，ＦＢｎ（Ｉ），并证明了它们均可以表示成从某个小范畴（Ｓｍａｌｌｃａｔｅｇｏｒｙ）到范畴Ｆｕｚ的涵子范畴（Ｆｕｎｃｔｏｒｃａｔｅｇｏｒｙ）．     

由生成子范畴导出的t-结构

作者根据Keller和Vossieck提出的Aisle的概念及其与t-结构的关系,从三角范畴的一个特殊的生成子范畴出发,得到了该三角范畴上的一个t-结构,这个t-结构的heart恰好就是那个特殊的生成子范畴.     

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

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

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

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

L集合范畴中的等值子和余等值子

为了研究L集合的性质,建立L集合的数学框架,在L集合范畴Set（L）中,研究了集合范畴Set（L）中的等值子和余等值子,以及等值子和余等值子的无点式与有点式刻画,为进一步研究集合范畴Set（L）的topos性质打下了基础．     

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

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

全序群范畴的Hom函子

设 A 是 Abelian 格序群,B 是 Abelian 全序群,本文证明了 Hom(A,B)是 Abelian 全序群,Hom(A,·)是 Abelian 全序群及其保序同态的范畴(?)到自身的共变函子,同时在全序模及其保序同态的范畴上得到了类似的结果.     

FI代数中基于相对非的滤子

引入了FI代数中相对非的概念,讨论了相对非的性质。利用相对非给出了FI代数中相对正则滤子、扩展相对正则滤子和弱相对正则滤子的概念,得到了这些滤子的特征定理。分析了FI代数中基于滤子的相对双补元之集的代数性质,得到了扩展相对正则滤子的应用。