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

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

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

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

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

Recollement导出的共变与反变有限子范畴

证明了若3个三角范畴允许有1个recollement,则recollement两端三角范畴上的共变有限子范畴可以诱导出中间三角范畴上的1个共变有限子范畴;对偶地,recollement两端三角范畴上的反变有限子范畴也可诱导出中间三角范畴上的1个反变有限子范畴.进一步地,将其应用到具体范畴,得到几类导出范畴的共变有限子范畴及反变有限子范畴.     

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

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

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

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

范畴的中心及其应用

给出推出范畴Do的中心与积范畴D×D×D的中心是一一对应的,极限范畴Dl的中心与积范畴(D×D×…×D)/I的中心是一一对应的(I是极限范畴Dl中的指标集),函子范畴的子范畴DC’的中心与范畴D的中心可相互确定等结果.     

关于函子范畴的一点注记

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

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

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

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

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

有界完备的domain范畴是monadic范畴

一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基数κ,作者引入了有界完备的κdomain以及相应的Scott κ拓扑的概念,并证明了有界完备的κdomain范畴是集合范畴和T0的κ拓扑空间范畴上的monadic范畴.     

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

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

L-fuzzy滤子空间范畴

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

Locale范畴中的弱反射子范畴

反射性是范畴论中研究的重要内容,反射的复合性是构造反射性的重要途径.引入了弱反射子范畴的概念,并在此基础上给出反射性的弱形式的复合定理.在locale范畴中,证明了一个locale A的理想格Idl(A)是其限制在紧正则locale范畴上的弱反射子范畴.利用弱形式的反射复合定理,从不同的角度系统的讨论了locale范畴中各种紧性反射.     

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

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

Frame偶范畴及若干相关的范畴

引入frame偶范畴FrmPair,它以Frame范畴Frm为子范畴,证明在范畴等价意义下,分子格范畴CD是locale范畴Loc的子范畴;拓扑分子格范畴TML是范畴FrmPoir之逆范畴的子范畴。     

广义Comma范畴的局部化

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

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

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

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

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

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

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