范畴Ω-Cat的极限和余极限

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-Cat中极限和余极限的定义,同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。     

范畴Ω-Cat的函数空间及其性质

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。     

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

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

Ω-集范畴是幺半范畴

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

Ω-左R-模范畴的完备性

引入Ω-左R-模范畴的概念,研究了Ω-左R-模范畴中的乘积以及等值子,进而证明了Ω-左R-模范畴是完备的.     

范畴M_R~l(Ω)若干性质的研究

研究了Ω-左R-模范畴中的余积及余等值子的性质,揭示了范畴M_R~l(Ω)与范畴M_R~l中余积之间的关系,刻画了范畴M_R~l(Ω)与范畴M_R~l中余等值子之间的关系,同时证明了范畴M_R~l(Ω)的余完备性.     

双诱导型定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.     

基于Ω-范畴的定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。     

BCK-代数的Ω-模糊正定关联理想

给定一个集合Ω,引入了BCK-代数的Ω-模糊正定关联理想的概念,给出了一些恰当的例子,讨论了BCK-代数的Ω-模糊理想与Ω-模糊正定关联理想的关系.利用模糊正定关联理想,刻画了Ω-模糊正定关联理想.反之,模糊正定关联理想通过Ω-模糊正定关联理想来构造.证明了Ω-模糊正定关联理想(Ω-模糊理想)的同态原象仍是Ω-模糊理想(Ω-模糊理想).     

BCI代数的闭Ω犹豫模糊理想

在集合Ω中,把犹豫模糊集、Ω模糊集相结合来研究BCI-代数.首先在BCI代数中引入闭Ω犹豫模糊理想的概念,讨论它的一些性质和等价刻画;其次,在闭犹豫模糊理想概念的基础上研究了如何构造闭Ω犹豫模糊理想,讨论了闭Ω犹豫模糊理想的同态像与同态原像的性质;最后,给出了闭Ω犹豫模糊理想与乘积型BCI代数的闭Ω犹豫模糊理想的关系.     

基于Ω-左R-子模范畴的伴随性

给出了Ω-左R-子模范畴的概念,研究了一对诱导函子,证明了诱导函子的伴随性.     

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

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

Ω-TL子群和正规Ω-TL子群

引入Ω-群上Ω-TL子群和正规Ω-TL子群的概念，讨论它们的一些基本性质，给出由L子集生成的Ω-TL子群和正规Ω-TL子群的计算公式，其中T是给定的完备Brouwer格L上的任意一个无穷∨-分配t-模。     

BCH-代数的Ω-模糊点理想

引入BCH-代数的Ω-模糊点理想的概念,给出了它的几个实例,研究了它们的一些性质.讨论了Ω-模糊理想与Ω-模糊点理想的关系,获得了Ω-模糊点理想的几个等价描述,研究了Ω-模糊点理想的同态像与同态原像的性质,给出了BCH-代数的Ω-模糊点理想与BCH-代数之积代数的Ω-模糊点理想的关系, 讨论了模糊点理想与Ω-模糊点理想之间的相互构造.     

BCK代数的Ω犹豫模糊正定关联理想

在集合Ω中,用犹豫模糊集、Ω模糊集来研究BCK-代数,定义了BCK-代数中的Ω犹豫模糊正定关联理想,讨论其性质及若干等价刻画;研究了两个关系,一个是Ω犹豫模糊理想与Ω犹豫模糊正定关联理想之间的关系,另一个是犹豫模糊正定关联理想与Ω犹豫模糊正定关联理想的关系;证明了Ω犹豫模糊正定关联理想(Ω犹豫模糊理想)的同态原像是Ω犹豫模糊理想(Ω犹豫模糊理想).     

Abel范畴中态射乘积的性质

本文在Ａｂｅｌ范畴中讨论了态射α，β的积αβ的性质。作为应用的例子，利用这些性质证明了以域上矩阵为态射的范畴中矩阵乘积的秩的恒等式。     

层次闭包空间的范畴性质(Ⅰ)

构造了层次闭包算子空间范畴SCPS中的初始结构,证明了该范畴是拓扑的,定义并研究了层次闭包空间的子空间,乘积空间和余积空间.     

关于态射的广义逆

本文得到了范畴中态射M-P逆存在的一些新的充要条件,又将复矩阵广义道乘积公式成立的条件推广到加法范畴中,还研究了具有核及上核的M-P逆和群逆存在的条件及有关表达式。     

强Ω-Gorenstein平坦模

引入强Ω-Gorenstein平坦模的概念,证明了强Ω-Gorenstein平坦模的直和是强Ω-Gorenstein平坦模.还研究了强Ω-Gorenstein平坦模的若干性质及其与强Ω-Gorenstein投射模之间的关系.     

关于空间S(Ω,Σ,μ)与Lβ(Ω,∑,μ)上的次加上半连续α-正齐性泛函

本文得到了S(Ω,∑,μ)和Lβ(Ω,∑,μ)分别不存在非零的上半连续、次加、α-正齐性泛函(分别有0＜a≤1和β＜a≤1)的充要条件.