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

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

自由函子及其伴随

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

负DG范畴的导出范畴上的t结构

作者给出了负微分分次范畴A的导出范畴D(A)上的一个自然t-结构,并证明了D(A)与由该t-结构的heart生成的关于同构、直和与直积封闭的三角满子范畴一致,进一步地,如果A还是同调有界的,那么该heart为D(A)的生成子的集合.     

L集合范畴中的极限

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

模糊集范畴

在模糊集的理论和应用研究中，一个基本问题是怎样把模糊集组织成一个范畴，相应的范畴具有什么样的性质?这一问题自Zadeh引入模糊集的概念之后，一直受到人们的关注.简要介绍2个具有代表性的解决方案，其一是由Goguen提出的Goguen范畴，其二是受topos理论影响发展起来的Q-集理论.这2种方案差异很大，Goguen范畴把模糊集的隶属函数看作一个集合到单点集的模糊关系，因而2个模糊集之间的态射就是2个集合之间满足一定条件的模糊关系；Q-集范畴则把隶属函数看作类型函数，因而2个模糊集之间的态射就是2个类型函数之间满足一定条件的模糊关系.这2种方案的共同特点在于充分利用逻辑值域的逻辑结构，这也是模糊集理论区别于其他数学分支的一个基本特征.     

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

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

L-Flou集范畴及其层表示

用模糊集的方法和原理,给出L-flou集合范畴Set(fL)的概念,并证明L-fuzzy集合范畴Set(L)与范畴Set(fL)的同构关系.根据范畴Set(L)与赋予层结构的集合范畴SetL(S H)的同构关系,得到范畴Set(fL)同构于范畴Set_L(S H).     

L-fuzzy滤子空间范畴

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

几个具体的三角范畴

本文利用彭提出的用广义复形范畴以及广义复形范畴之间的锥扩张来构造三角范畴的方法,考虑了几类特殊的三角范畴,确定了这几类三角范畴的所有不可分解对象和它们的具体形式,并给出了它们的Auslander-Reiten箭图的结构.这些三角范畴提供了一些轨道范畴的一种新的实现.     

映射族确定预拓扑空间

讨论了由映射族确定预拓扑空间的一些方法，定义了预拓扑空间范畴preTOP，并证明预拓扑空间范畴preTOP具有乘积、余积．     

Freyd范畴的一点注记

设(,Σ,Δ)是三角范畴,记Δ0是所有可裂三角构成Δ的满子范畴.给出Freyd范畴U()和V()与范畴B()=Δ/Δ0之间的关系.     

加法范畴的推出范畴的幂等完备化

考虑加法范畴的推出范畴的幂等完备化与加法范畴幂等完备化的推出范畴的关系,进一步证明了Abel范畴的推出范畴的幂等完备化与Abel范畴幂等完备化的推出范畴等价。     

关于Abelian三角范畴的一个注记

主要证明如下结论:如果(C,T,Δ)是三角范畴,则C是Abelian范畴的充分且必要条件是C中三角是由同构于如下形式的态射图构成:U⊕V(00/01)→W⊕V(00/10)→T(U)⊕W(10/00)T(U)⊕T(V).由此得到:如果C是一个Abelian范畴,T是C上的可逆加法自函子,则有且仅有一种方式使(C,T)构成三角范畴.另外,还通过Abelian范畴C上的Serre类,研究局部化范畴C[S-1]是Abelian三角范畴的条件.     

范畴的推出范畴与平凡扩张

研究Abel范畴的推出范畴与Abel范畴的平凡扩张的关系,证明了Abel范畴推出范畴的平凡扩张与Abel范畴平凡扩张的推出范畴同构.     

关于函子范畴的一点注记

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

关于Karoubian范畴的推出范畴的一点注记

给定一个加法范畴A，证明了如果A是Karoubian范畴，则以A中的推出为对象，推出态射为态射所构成的推出范畴A0也是Karoubian范畴。     

Abel范畴的一种构造

利用一般范畴D构造了新范畴ID和PD,证明了若D是Abel范畴,则存在范畴ID到IopD的忠实函子,且ID也是Abel范畴.     

论英语语法模糊性的哲学根源

语法是人类对纷繁复杂语言现象的抽象化和模块化,即范畴化。然而,由于客观事物的连续性、多样性和多变性,人类的思维在认识世界和借助语言对世界进行范畴化的过程中都发挥着积极主动的作用,语法范畴与概念范畴间必然存在差异性,因而导致了语法范畴的模糊性。     

拟Abel范畴的局部化范畴

在加法范畴局部化的基础上证明了拟A be l范畴的局部化范畴仍然是拟A be l范畴.