幂等Quantale中的滤子及其性质

研究了幂等左半可换Quantale Q中的滤予以及幂等Quantale上滤子空间的一些性质.在幂等左半可换Quantale的条件下,通过核映射证明了Fil(Q)是2Q的幂等商Quantale,并且∏Fil(Qi)是∏2Qi的幂等商Quantale,最后在幂等Quantale中证明了滤子空间是可分空间.i(ε)I i(ε)I     

幂等左侧空间式Quantale的特征

讨论了幂等左侧Quantale的若干性质，给出了空间式Quantale的积和子Quantale是空间式Quantale．利用简单幂等左侧Quantale是空间式Quantale的结论，证明了幂等左侧Quantale是空间式Quantale当且仅当它是简单幂等左侧Quantale的乘积的子Quantale。     

Quantale模范畴的良幂性及其定向极限

本文首先证明了Quantale模范畴有交且是平衡范畴;其次得到了Quantale模上的核(余核)映射与其在Quantale模范畴中的商(子)对象是一一对应的,从而证明了Quantale模范畴是极端余良幂的和极端良幂的;最后,讨论了Quantale模范畴的定向极限,并给出具体结构.     

模糊Z-Quantale范畴的反射子范畴

利用模糊Quantale上的模糊预核映射,证明模糊Quantale范畴是模糊Z-Quantale范畴的反射子范畴,给出由万有映射像集生成的模糊Quantale的具体结构,并讨论由反射子构造的模糊Galois伴随.     

E-quantale范畴

引入了E-quantale的定义及其一些相关概念, 讨论了E-quantale的一些重要性质。 证明了Quantale的幂集和E-quantale的乘积均可构成E-quantale, 给出了Quantale的一种自然扩张,由E-quantale可以扩张成一个Quantale。 在Quantale子范畴和E-quantale范畴之间定义了一个嵌入函子K, 并在函子K与遗忘函子U之间构造了一个自然变换, 证明了在一定条件下一个E-quantale和某个单位Quantale的幂集同构。     

幂等Quantale的子Quantale

研究了QuantRle在幂等条件下，代数Quantale与空间式Quantale的关系，得到了Quantale及其子Quantale是空间式的充分条件，并且给出了幂等Quantale的子Quantale具体事例．     

基于拟幂等的交换单位Quantale的模糊Domain

基于一个拟幂等的交换单位Quantale,用模糊集的方法重新研究了量化Domain理论,主要定义了模糊DCPO上的模糊Scott拓扑,建立了满层的L-滤子的Scott收敛理论,证明了模糊DCPO范畴的笛卡尔闭性。虽然所得结论和已有文献中的基本一样,但是证明过程却有很大不同。结果表明,拟幂等的交换单位Quantale是用模糊集方法研究量化Domain的最宽泛的格。     

Quantale中的L-模糊滤子及其相关性质

基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论.     

连续Quantale及其范畴性质

研究了连续Quantale及其范畴性质,定义了半连续Quantale,在此基础上讨论了半连续Quantale、连续Quantale和正则Quantale之间的关系.证明了严格右侧的连续Quantale是正则Quantale,严格右侧的左侧Quantale是连续Quantale当且仅当它是半连续Quantale.给出了连续Quantale中理想的概念,探讨了连续Quantale中理想和连续Quantale范畴的性质,证明了此范畴不仅是点化的、连通的,而且有乘积、每一个投射都是收缩.     

Quantale的最大左半可换商

通过引入Quantale上左半可换核映射的概念, 用Quantale中的左准对称元给出最大左半可换商的刻画, 证明了左半可换Quantale范畴是Quantale范畴的反射子范畴, 并讨论了局部核映射与左半可换核映射之间的关系.     

预Girard quantale及其性质的研究

研究了预Girard quantale的性质以及在预Girard quantale上核映射与余核映射之间的关系，简化了理想余核的定义，讨论了理想余核的一些性质，给出了右侧幂等quantale上所有理想余核的具体刻画．得到了预Girard quantale是Girard quantale的充要条件．证明了任意Quantale都可以嵌入到预Girard quantale中，并且在预Girard quantale上核映射与理想余核是一一对应关系．     

对偶Quantale及其性质

提出了对偶quantale的概念,研究了对偶quantale的性质及其构造,利用quantale上的nucleus与余nucleus算子,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造,研究表明,对偶quantale是非可换quantale中的布尔代数。     

对合Quantale的表示定理

引入了关系对合Quantale的定义，得到了对合Quantale的表示定理，并且在范畴意义下，讨论了对合Quantale范畴与其满子范畴等价．     

Quantale上的Localic核与Localic余核映射

 研究了Quantale与单位Quantale Q［e］上的Localic核与Localic余核映射。证明了Quantale Q上的Localic核映射可以惟一地扩张为Q［e］上的Localic核映射,双侧的可换Quantale存在最大的Localic子Quantale。 再将以上结论应用于研究Quantale Q上的最大的Localic余核映射到Q［e］的扩张,给出了Q上的最大的Localic余核映射到Q［e］的扩张的所有形式,并且证明了Q［e］有最大Localic子Quantale当且仅当Q是平凡Quantale。     

模糊理想刻画的弱左正则幺半群

介绍弱左正则幺半群的概念,指出在可交换半群中,完全正则、弱左（右）正则和完全幂等是等价的．进一步地,通过模糊理想、模糊左理想和模糊右理想的性质刻画了弱左正则幺半群,给出了一个幺半群是弱左正则的等价条件．     

L-外部空间范畴与L-拓扑空间范畴

引入了（满层的）L-外部空间的概念,证明了（满层的）L-拓扑空间范畴可以嵌入到（满层的）L-外部空间范畴作为具体的反射子范畴,并进一步证明了前者同构于后者的一个满足幂等条件的子范畴．     

三角范畴的Recollement与Abel化

首先给出了加法范畴的Abel化与幂等完备化的关系,证明了加法范畴的幂等完备化范畴是其Abel化范畴的投射子范畴;在此基础上,证明了三角范畴recollement的Abel化是Abel范畴的右recollement。     

Quantale上的伪同余

为了研究Quantale内部结构,我们首先在Quantale上引入了伪同余的概念;讨论了伪同余与同余的关系;最后借助于伪同余,建立了Quantale与序半群之间的联系.     

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

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

L-fuzzy quantale若干性质的研究

首先给出了L-fuzzy quantale的定义,将L-fuzzy frame的一些重要结论推广到L-fuzzy quantale中,并给出了L-fuzzy quantale的一些等价刻画。其次,在Quantale中引入了L-滤子以及L-滤子Quantale的概念,证明了由任意一个L-滤子可以生成一个L-fuzzy quantale,在范畴L-FilQuant与范畴L-FQuant之间可以建立一个诚实函子。最后,引入了L-fuzzy理想、准素理想以及素理想的概念,讨论了它们的一些性质,得到了若干重要结论。