Yoneda 完备度量空间范畴的完备性和余完备性

该文章探讨了以 Yoneda 完备度量空间为对象的范畴的完备性和余完备性. 证明了若态射是 Yoneda 连续映射或者 Yoneda 连续的非扩张映射, 则该范畴是完备且余完备的; 若态射是 Yoneda 连续的 Lipschitz 映射, 则该范畴是有限完备和有限余完备的, 但是它既不完备也不余完备. 最后证明了以实数值连续格为对象, Yoneda 连续的右伴为态射的范畴是完备的.     

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

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

关于同伦正则态射与覆叠空间

在点标道路连通CW空间的同伦范畴(HCW*)中,利用覆叠函子得出:若f:X→Y是同伦正则态射,且f#:π1X→π1Y是满态射,则对π1Y的任一正规子群H,升腾映射■:(f#-1(H))→(H)也是同伦正则态射     

关于两个Cartesian闭范畴交的一点注记

讨论了关于双Scott拓扑的一些性质．证明了范畴BICONT（即以双连续格为对象，以双Scott连续映射为态射的范畴）作为两个Cartesian闭范畴BICONTS（即以双连续格为对象，以Scott连续映射为态射的范畴）和BICONTSop（即以双连续格为对象，以对偶Scott连续映射为态射的范畴）的交范畴不是Cartesian闭范畴．     

中间物质和弱topos的定义

在已知范畴Ｆｕｚ，范畴ＦＲ（Ｙ），ＦｕｚＦｕｚ有“中间物质和弱ＳＣ”的基础上，利用偏序集和态射之间的偏序关系在一个抽象的范畴中给出中间物质的定义，将具有中间物质的Ｃａｒｔｅｓｉａｎ Ｃｌｏｓｅｄ范畴称为一个弱ｔｏｐｏｓ，并证明了范畴Ｆｕｚ，范畴ＦＲ（Ｙ）和范畴ＦｕｚＦｕｚ都是弱ｔｏｐｏｓ，在而在Ｃａｒｔｅｓｉａｎ Ｃｌｏｓｅｄ范畴与ｔｏｐｏｓ之间又引入了一种结构。     

范畴中态射集左(右)加权星型序的刻画

利用态射的加权广义逆定义态射集的左（右）加权星型序,给出它的等价刻画,以及特殊范畴中进一步的等价刻画,当加权态射分别为单位态射时,得到文献[1～3]的相应结论.     

带对合范畴中态射的（1,…,i）——逆

在文「１」－「５」的基础上，本文给出了带对合范畴中态射的（１，…，ｉ）－－逆的定义一步得到了具有三重分解的态射ｆ（１，２，）、ｆ（１，２，４）的具体表达式。     

关于覆叠同伦正则态射

目的在点标道路连通CW空间的同伦范畴中,引进覆叠同伦正则态射的概念,研究它存在的条件、性质以及它与覆叠同伦单(满)态和覆叠同伦等价之间的关系。方法利用万有覆叠函子,将映射f:X→Y的研究转化为对它在万有覆叠空间上诱导的映射f~:~X(0)→~Y(0)进行研究。结果推广了同胚映射、同伦等价和同伦正则态射的有关结果。结论若f为同伦正则态射,则f必为覆叠同伦正则态射;若f为覆叠同伦正则态射,则f不一定是同伦正则态射。     

几种特殊图类的圈权估计

本文证明了设Ｇ为２－连通简单权图．若对任一ｕｖ∈Ｅ（Ｇ），ｗ（ｕ）＋ｗ（ｖ）＞ｋ；且满足下列 条件之一：（ｉ）Ｇ为二部图，且任一ｅ∈Ｅ（Ｇ），ｗ（ｅ）＞０；（ｉｉ）Ｇ的连通度为２；（ｉｉｉ）Ｇ为阶数不小 于６的３正则图；（ｉｖ）Ｇ为阶数不小于６的轮形图，则Ｇ含圈Ｃ使ｗ（ｃ）＞ｋ．另外，本文还找到 了一些２－连通权图Ｇ．对任一ｕｖ∈Ｅ（Ｇ）．ｗ（ｕ）＋ｗ（ｖ）＞ｋ，但Ｇ不含权至少为ｋ的圈，且其最优 圈不都是Ｈａｍｉｌｔｏｎ圈．     

模糊集范畴

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

加法范畴的极限范畴是加法范畴

讨论以范畴C中的极限为对象,极限态射为态射构成的极限范畴Cl.研究极限范畴的上积,并证明加法范畴的极限范畴仍为加法范畴.     

偏序范畴若干问题研究

本文介绍了关系及关系矩阵等概念,并着重讨论了偏序关系及对应的偏序范畴、偏序矩阵,刻划了偏序范畴的始对象、终对象和零对象,偏序范畴的积范畴以及给出相应的矩阵的关系,即积范畴对应的偏序矩阵是原来两个偏序矩阵的张量积;讨论了等价的偏序范畴对应的偏序集之间的关系.     

图中的几例组合Hopf代数

介绍了图中的3例分次连通的Hopf代数,将其赋予特征后构成组合Hopf代数,讨论了它们在组合Hopf代数范畴中与终对象（Qfym,ζQ）之间的组合Hopf代数同态,并计算了它们的Hilbert级数.     

Topos中的模糊对象和模糊范畴

在一个topos中引入模糊子对象的概念,给出了一个对象的元素x对一个模糊子对象的隶属度的定义,在一个布尔topos中讨论了模糊子对象的运算,最后给出了由toposf的模糊子对象构成的范畴Ff,研究了范畴Ff的等化子性质,有限积性质,并证明了范畴Ff有最终元存在。     

顺序集合套的范畴OSEB

建立了顺序集合套的范畴ＯＳＥＢ，并证明了该范畴有平衡器，有限积，最终元，Ｅｘｐｏｎｅｎｔｉａｌｓ和Ｓｕｂｏｂｊｅｃｔｃｌａｓｓｉｆｉｅｒｓ等Ｔｏｐｏｓ性质．因此，范畴ＯＳＥＢ是一个Ｔｏｐｏｓ     

关于态射的广义Moore-penrose逆

：给出了预加法范畴中态射广义Ｍｏｏｒｅ＿ｐｅｎｒｏｓｅ逆存在的充要条件,推广了态射的Ｍｏｏｒｅ＿ｐｅｎｒｏｓｅ逆的相应结果．     

凹函数的范畴

以凹函数为对象，以特殊的仿射函数为态射，建立了范畴CONF，指出凸集和凸模糊集为范畴CONF中的对象。证明了范畴CONF有Finite Products和Equalizers性质。