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

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

自由函子及其伴随

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

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

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

L集合范畴中的极限

以范畴论为基础，引入L集合范畴Set（L）概念，分别研究了Set（L）中的极限与余极限问题，同时给出了Set（L）中极限的具体结构和一些性质．     

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

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

L-fuzzy滤子空间范畴

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

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

有限集素分类范畴与其伴随群的Hall函子和内自然同构

对一有限集合p的任一分类σ_k都对应地存在一个素分类范畴,对于P的每一伴随群也对应地存在Hall范畴,使得前者到后者内的Hall函子存在,诸Hall函子之间的自然同构——内自然同构存在,且全体内自然同构关于映射的合成运算构成一群,而此群总为原来所取伴随群的同态象。     

d-Cluster 范畴上的相对d-Rigid 子范畴

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

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

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

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

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

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

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

关于函子范畴的一点注记

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

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

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

L-Top上的Ir-函子

对frame L中的素元r, 引入了范畴L-Top上的一具体函子Ir,证明了该函子为层Lowen 函子ωrL与ιrL的复合,给出了其若干应用,讨论了它与Rodabaugh的满层化函子GLk的关系。     

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

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

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

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

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

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

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

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

有理数域的子环和子环格

说明了有理数域的任一子环的结构、证明了有理数域的所有子环在包含关系下所成的完备格与所有素数的集合的幂集合在包含关系下所成的完备格完备反同构。