新型集合套范畴的弱Topos性

借助模糊集理论中的集合套理论，引入一种新型的集合范畴SEB3。它满足卡氏积封闭性，但不是Topos，而是介于卡氏积封闭性和Topos之间的一种结构，我们称之为弱Topos。     

模糊集范畴及集合范畴上的模

本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论.     

Ω-集范畴是幺半范畴

引入Ω-集范畴的概念,证明了Ω-集范畴是幺半范畴.     

范畴_*的泛性质

本文通过已知范畴建立了一个新的范畴,并得到了当是带积范畴、加法范畴、因式分解范畴时,,亦是带积范畴、加法范畴、因式分解范畴,而当为Ｒ－模范畴时,,中的所有态射有核与上核．     

基于层范畴的Ω-集合范畴的极限

基于层范畴引入Ω-集合范畴的概念,研究了Ω-集合范畴的乘积以及等值子的存在性,进而证明了在Ω-集合范畴中存在极限,并且Ω-集合范畴是完备的.     

Locale范畴的反射子范畴

本文研究ｌｏｃａｌｅ范畴的反射子范畴，给出反射子范畴的刻划定理，从一般的ｌｏｃａｌｅ出发，完全构造性地给出了ｌｏｃａｌｅ的正则反射、完全正则反射和零维反射的构造．     

图表示范畴的两个子范畴

引进图表示范畴的两个子范畴,研究它们的同调性质。     

从三角范畴的recollement到Abel范畴的recollement

研究了三角范畴的recollement与Abel范畴的recollement的关系.证明了：若三角范畴D允许关于三角范畴D和D的recollement,则Abel范畴D/T允许关于Abel范畴D/i^＊（T）和D/j^＊（T）的recollement,其中T为D的cluster-倾斜子范畴,且满足i＊i^＊（T）＊T,j^＊j^＊（T）^＊T.     

三角范畴的coherent函子范畴的recollement

文章研究了三角范畴D及其coherent函子范畴A(D)的recollement之间的关系.利用D的recollement可以诱导A(D)的prerecollement,文章证明了该prerecollement是recollement的充分必要条件是D的recollement是可裂的;并且D的recollement可以诱导A(D)的prerecollement.     

商范畴的Recollement

证明了三角范畴的recollement可以自然诱导其商范畴的recollement.特别地,得到类似于群同态第二基本定理的结果,即若U是三角范畴D的局部化(或余局部化)子范畴,V是U的三角满子范畴,则U/V是D/V的局部化(或余局部化)子范畴,并且有三角等价(D/V)/(U/V)≌D/U.同理,对Abel范畴的recollement也有相应的结果.     

S-定向完备偏序集范畴

给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用.探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映射为态射的范畴是笛卡尔闭范畴.     

FS-相容Domain的定向完备化及相关范畴性质

引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有：（1）FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;（2）FS-相容Domain是有限生成上集,从而是Scott紧的;（3）FS-相容Domain的定向完备化是FS-Domaln;（4）有最大元的FS-Domain去掉最大元后是FS-相容Domain;（5）证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。     

笛卡儿闭Domain范畴的两个重要性质

对于CONT的任意一个笛卡儿闭的满子范畴C,构造CONT的两个新的满子范畴R-C(以C对象的收缩为对象的范畴)和B-C(以C扩张序列的双极限为对象的范畴),并证明了它们都是笛卡儿闭范畴。由于R-C和B-C都包含C为其满子范畴,利用上述结果可得CONT的极大笛卡儿闭子范畴必对收缩和双极限封闭。本文还从范畴笛卡儿闭性的角度给出了Domain理论中一个公开问题的等价描述。     

Internal Categories in a Left Exact Cosimplicial Category

The notion of an internal category in a left exact cosimplicial category is introduced. For any topos over sets a certain left exact cosimplicial category is constructed functorially and the category of internal categories in it is investigated. The notion of a fundamental group is defined for toposes admitting the notion of a discrete category.     

可列集合套

[1]中给出模糊集的分解定理与表现定理，指出可利用集合套H＝{H（λ）|λ∈[0,1]}刻化模糊集。本文定义可列集合套H＝{H（a）|a∈Q}，Q是（0，1）的可列稠密子集。相应地给出新的分解定理与表现定理。指出可利用可列集合套刻化的模糊集。     

逆序(L)集合范畴的格值函数空间及其性质

引入逆序(L)集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间,进一步指出在逆序(L)集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序(L)集合范畴为Cartesian闭范畴.     

Locale范畴中的零维性

本文讨论ｌｏｃａｌｅ的零维性质，主要结果有：（１）给出ｌｏｃａｌｅＡ的核映射（ｎｕｃｌｅｕｓ）构成的ｌｏｃａｌｅＮ（Ａ）中上确界的点式刻划，并得到了Ｎ（Ａ）的紧性与Ａ的紧性之间的关系；（２）给出零维ｌｏｃａｌｅ与ｃｏｈｅｒｅｎｔｌｏｃａｌｅ之间的关系，以及零维ｌｏｃａｌｅ的紧零维反射；（３）给出零维ｌｏｃａｌｅ范畴在ｌｏｃａｌｅ范畴中的刻划．     

Quantic格范畴

系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备范畴。