可除Quantale的一些范畴性质

证明了GL-幺半群范畴是可除单位Quantale范畴的满反射子范畴,并且可除单位Quantale范畴是可除Quantale范畴的满反射子范畴。进而可知,GL-幺半群范畴是可除Quantale范畴的满反射子范畴。     

一类模糊逻辑系统幺半群与同态映射

首先利用代数中幺半群的概念给出了模糊逻辑系统专业领域的概念, 建立专业领域概念的目的是为了规范模糊逻辑系统中语言变量的取值范围, 从而将模糊逻辑系统看作是某个笛卡儿乘积幺半群的有限子集. 然后利用这个笛卡儿乘积幺半群的乘积运算构造了模糊逻辑系统幺半群. 最后, 在一定的约定条件下证明了通常使用的一类Mamdani形模糊逻辑系统的输出可以看作是从模糊逻辑系统幺半群到连续函数域的同态映射.     

拓扑分子格范畴中的积运算

文[1,2]以近年来发展起来的Fuzzy拓扑学中的工作为基础,建立了完全分配格上的点式拓扑理论。在文[1—3]的基础上,文[4]证明了分子格范畴对乘积运算封闭,并给出了其具体构造。本文进一步证明拓扑分子格范畴也对乘积运算封闭,同时给出了拓扑分子格范畴中的乘积结构。本文还证明这种乘积具有良好的性质,比如:连通性是可乘的最后,给出了这种乘积与L-Fuzzy拓扑空间乘积的关系。     

L-fuzzy群范畴中的乘积运算

文献[1]提出了Fuzzy群的概念,[2]讨论了Fuzzy群组成的范畴,本文在文献[1-6]的基础上,引入LF群范畴的概念,该范畴以Fuzzy群范畴作为子范畴,证明了LF群范畴对乘积运算封闭,同时给出了LF群范畴中的乘积的具体结构和一些性质。     

Ω-集范畴是幺半范畴

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

可换幺半群的结构

关于“群”有各种各样的定义,本给出了有限幺半群成为群的一个条件。并对有限可换幺半群进行了讨论,通过对它的商集的研究,建立了有限可换幺半群与有限可换幺半群之间的关系,从而揭示了有限可换幺半群的结构。     

可换幺半群的结构

关于“群”有各种各样的定义 ,本文给出了有限幺半群成为群的一个条件 .并对有限可换幺半群进行了讨论 ,通过对它的商集的研究 ,建立了有限可换幺半群与有限可换幺群之间的联系 ,从而揭示了有限可换幺半群的结构     

L—逆左系对幺半群的刻画

正则左Ｓ－系是ｖｏｎ ｎｅｕｍａｎｎ正则半群的自然推广，逆左Ｓ－系是逆半群的自然扩广，作为左逆半群的自然推广，本文引入了Ｌ－逆左系的概念，并用来刻画了几类幺半群，如左逆幺半群，逆幺半群，ａｄｅｑｕａｔｅ幺半群等。     

L－逆左系对幺半群的刻画

正则左Ｓ-系是ｖｏｎ Ｎｅｕｍａｎｎ正则半群的自然推广，逆左Ｓ-系是逆半群的自然推广．作为左逆半群的自然推广，本文引入了Ｌ-逆左系的概念，并用来刻画了几类幺半群，如左逆幺半群，逆幺半群，ａｄｅｑｕａｔｅ幺半群等．     

图的强收缩核与图的强自同态幺半群的正则性

本文研究图及其强自同态幺半群．首先刻画了图的强自同态幺半群的正则元，然后给出了此幺半群正则的充要条件．这推广了［１］和［２］中关于有限图的强自同态幺半群正则的结果．     

幺半群的强半格上的Rees矩阵半群的平移壳

设含幺元的半群A是幺半群A~_e的半格,其中A的幺元为1_A,A~_e的幺元为e,所有幺元e的集合为E(A),则对于幺半群A上的Rees矩阵半群S和幺半群A~_e上的Rees矩阵半群S~_e,以下五个条件是等价的:(1)任意的e∈E(A),a∈A,有ae=ea;(2)A是幺半群A~_e的强半格;(3)S是S~_e的强半格;(4)A的平移壳和A~_e的平移壳的强半格同构;(5)S的平移壳和S~_e的平移壳的强半格同构.     

平衡范畴与半群的双序

研究范畴与半群通过幂等元双序建立的一种自然联系.对每个有幂等元的半群S,其幂等元生成的左、右主理想之集通过双序ω~e,ω~r自然确定两个有子对象、有像且每个包含都右可裂的范畴L(S),R(S),其中态射的性质与S中元素的富足性、正则性有自然对应.利用这个联系,我们定义了"平衡(富足、正规)范畴"概念.对任一平衡(富足、正规)范畴■,我们构造其"锥半群"■,证明■左富足(富足、正则),且每个平衡(富足、正规)范畴■都与某左富足(富足、正则)半群S的左主理想范畴L(S)(作为有子对象的范畴)同构.     

图的强化缩核与图的强自同态幺半群的正则性

本文研究图及其强自同态幺半群，首先刻画了图的强自同态幺半群的正则元，然后给出了此幺半群正则的充要条件，这推广了（１）和（２）中关于有限图的强自同态幺半群正则的结果。     

范畴Ω-Cat的完备性

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴。     

幺半群的内射类及投射类刻画

类比于一般环上模的内射类,定义了幺半群上的S-系的内射类和投射类,并利用它们刻画了几类特殊的幺半群．证明了完全内射幺半群和完全拟内射幺半群是等价的．并且证明了对于标致幺半群S,它是完全投射的当且仅当它是完全拟投射的当且仅当它上面的投射S-系构成了一个投射类．     

S-定向完备偏序集范畴

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

右（左）逆半群的半直积及圈积

给出了两个幺半群的半直积及圈积为右（左）逆半群的充分必要条件，从而推广了[2]中两个幺半群的半幺直积和圈积为逆半群的充分必要条件．     

取值于赋值幺半群的加权上下文无关文法及其语言

上下文无关文法是一种表达能力较强的描述语言的方法,在本文中我们引入取值于赋值幺半群的加权上下文无关文法(WCFG)及其产生的加权上下文无关语言(WCFL)。讨论了加权上下文无关文法的加权Chomsky范式文法以及加权Greibach范式文法。证明了对于取值于柯西乘积赋值幺半群上的WCFG,存在与之等价的加权Chomsky范式文法、加权Greibach范式文法;进一步讨论了加权上下文无关文法及其产生的加权上下文无关语言的一些代数性质。     

幺半群上的Rees矩阵半群的半格的结构

推广了Ｍ．Ｐｅｔｒｉｃｈ在文「１」中所用的方法，得到了幺半群上Ｒｅｅｓ矩阵半群的半格的一个结构定理，研究了单幂幺半群Ｒｅｅｓ矩阵半群的半格的性质并给出了矩形单幂幺半群的半格的若干等价刻划。     

一类超R-幂幺半群的结构

U-半富足半群和U-富足半群是富足半群的推广,作为富足半群的一种推广,超R-幂幺半群是超富足半群的子类,文章引入J本原U超富足半群的定义,得到了R-幂幺半群的结构定理.