偏序集范畴的Cartesian闭性

作者讨论了偏序集范畴的Cartesian闭性, 给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件. 特别地, 作者证明了交连续半格（不要求定向完备性）范畴是Cartesian闭范畴, L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴.     

个体集和强个体集的范畴性质

研究了个体集和强个体集的范畴性质.利用范畴论方法证明了个体集范畴、强个体集范畴与集合范畴在许多方面是相似的.例如,具有任一给定基数的个体集和强个体集是存在的;个体集和强个体集对于子集、幂运算封闭;非空个体集范畴和非空强个体集范畴都是完备的monoidaltopoi.构造了超结构函子V和超幂函子HF并得到:(1)对任意非空强个体集X和Y,g:X→Y是单射(resp.,满射)当且仅当V(g)是单射(resp.,满射);(2)对任意集X和Y,g:X→Y是单射(resp.,满射)当且仅当HF(g)是单射(resp.,满射).     

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

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

格值模糊半开集与半连续映射

在L-fuzzy拓扑空间中，给出一种新的半开集的概念，证明了这种半开集具有分明半开集的几乎所有的性质，并利用这种半开集研究了L-fuzzy半连续映射、半开映射、半闭映射等。     

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

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

关于Institution范畴式定义的注记

该文构造了范畴Ｔｒｅｌ和（１ｓｅｔ／Ｕ）＾ＯＰ之间的同构，从而证明了Ｉｎｓｔｉｔｕｔｉｏｎ的两个范畴式定义的一致性。     

软集和模糊软集的范畴

为从范畴论的观点研究软集,分别建立了软集的范畴和模糊软集的范畴,并讨论了它们的topos性质.研究结果表明:软集的范畴有terminal object,finite products,equalizer和SC等topos性质;模糊软集的范畴有finite products,equalizer,terminal object和exponentials等topos性质.该成果对软集的研究具有一定的参考价值.     

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

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

Z-完备集上的一个扩张定理与范畴的性质

给出Z-完备集上的一个扩张定理．证明范畴ZP是一个笛卡儿闭范畴．     

L-fuzzy滤子空间范畴

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

广义路代数的表示范畴

利用构造函子方法证明了广义路代数RQ,A的有限表示范畴等价于它的有限维模范畴,从而推广了路代数的结果.     

L—模糊关系方程及其应用

本文将模糊关系方程扩张成L—模糊关系方程,并将某些L—模糊关系方程的求解问题转化为模糊关系方程的求解问题,然后通过例子说明L—模糊关系方程在某些实际问题中的应用。     

凹函数的范畴

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

模糊模范畴中的余极限

运用模糊集的方法和原理, 给出模糊模范畴中余极限的有点式和无点式刻画. 首先, 通过引入模糊模范畴中余积的结构性定理, 得到模糊模范畴中余极限的存在性、 唯一性和结构性定理; 其次, 构造J型图范畴到模糊模范畴上的常量系统函子, 并证明余极限函子与常量系统函子的伴随性; 最后, 根据Hom函子及张量积函子的伴随同构关系, 讨论模糊模范畴中极限与余极限的关系.     

q-开集及其性质

给出了q-开集的定义及其相应性质,讨论q-开集同半开集、准开集,α - 集之间的关系.     

LF正则准半开(闭)集与S-准半连续

在L-fuzzy拓扑空间已定义的近似开(闭)集的基础上,作者提出了一类新的集合,称为LF正则准半开集(LF正则准半闭集),并讨论了此类集合的一些性质.同时定义了S-准半连续序同态.     

半准不定序同态及其应用

引入了Fuzzy格之间的半准不定与半准不定开序同态等概念，给出了它们的特征性质，讨论了半准连续，半准不定序同态与N—紧性以及SP—紧性之间的联系．     

二阶微分包含的可达集

考虑一类二阶微分包含的可达集以及最优控制系统与微分包含的关系,得到了一类二阶仿射控制系统的可达集及求解二阶微分包含可达集的取值范围,并给出实例说明该方法的有效性.