Ω-群范畴是幺半范畴

主要证明了Ω-群范畴是幺半范畴。     

关于度量空间的formal balls构成的偏序集

formal ball构成的偏序集为度量空间理论和domain理论提供了联系.作者考察了Ω-范畴的tensor完备化,证明了当度量空间被视为Ω-范畴时,其formal ball构成的偏序集正好是它的tensor完备化.     

半群的广义Ω-模糊双理想

给定一个集合Ω,引入半群的广义Ω-模糊双理想概念,讨论了它的一些相关性质及等价刻画,研究了半群的广义Ω-模糊双理想的同态像与原像的性质。此外,通过在SΩ上定义运算得到半群(SΩ,),并研究了其双理想与广义Ω-模糊双理想。     

关于BCI-代数的闭Ω-模糊理想

研究了BCI-代数的闭Ω-模糊理想的性质,讨论了闭模糊理想与闭Ω-模糊理想的相互构造,论述了怎样将闭Ω-模糊理想的同态象和同态原象变成闭Ω-模糊理想,给出了BCI-代数的闭Ω-模糊理想与BCI-代数的积代数的闭Ω-模糊理想之间的关系.     

Ω同态,T同余L关系和Ω-TL子群

利用完备Brouwer格L上的无穷V 分配t 模T,引入并讨论Ω群上T同余L关系概念,然后在其基础上研究Ω群上T同余L关系的同态性质,最后讨论Ω群上T同余L关系与正规Ω TL子群的一些关系.     

半群的Ω-模糊内理想

给定一个集合Ω,引入半群的Ω-模糊内理想的概念,讨论它的基本性质及其等价刻画,研究了半群的Ω-模糊内理想的同态像与原像的性质。此外,通过在SΩ上定义运算得到半群(SΩ,),研究了其内理想与Ω-模糊内理想。     

Ω-Abel群范畴中的积与余积

引入以交换的有单位元的Quantale为真值集的Ω-Abel群范畴的概念,利用范畴理论研究了Ω-Abel群范畴的积与余积.     

格蕴涵代数的Ω-犹豫模糊LI-理想

在集合 Ω中,用犹豫模糊集、Ω-模糊集来研究格蕴涵代数,定义了格蕴涵代数中的 Ω-犹豫模糊LI-理想,讨论其性质及若干等价刻画;研究了 Ω-犹豫模糊LI-理想与其LI-理想之间的关系;讨论了格蕴涵代数的 Ω-犹豫模糊LI-理想的同态像与同态原像的性质.     

Ω-凸Fuzzy集

给定一个参数集,将Ω-模糊集与凸集相结合,提出了一种新的Ω-凸Fuzzy集,并研究了Ω-凸Fuzzy集的一些基本性质。     

完备范畴的极限范畴与η-扩张

研究完备范畴的极限范畴与η-扩张关系,证明完备范畴之间的极限范畴的η-扩张与η-扩张的极限范畴同构。     

广义Macaulay-Northcott模与包络

研究了广义Macaulay-Northcott模的包络性质.设M是右R-模,Ω是一个右R-模的类,E∈Ω,i:M→E是右R-模同态,证明了i:M→E是M的Ω-包络当且仅当[is,≤]:[Ms,≤]→[Es,≤]是[Ms,≤]的[Ωs,≤]-包络,其中[Ms,≤]是右R-模M上的广义Maucaulay-Northcott模;讨论了[Ms,≤]的Galois群与M的Galois群之间的关系.     

乘积空间正规性的一个结果

T.Przymisin'ski 1980年在文[1]中提出研究N(X)(其中N(X)表示与正规空间X的乘积仍为正规的拓扑空间Y所组成的类)。对不同的拓扑空间X,给出类N(X的特征刻划是这个问题的一个重要方面. 本文给出当X为Ω-紧空间,Y为Ω-空间时(Ω-网空间,Ω-Frechet空间与Ω-邻域空间的总称)积空间X×Y为正规的充要条件。这几类空间的定义见文[2],主要结果     

关于度量空间的formal balls构成的偏序集

ball构成的偏序集为度量空间理论和domain理论之间提供了联系.作者考察了Ω-范畴 的tensor完备化.当度量空间被视为Ω-范畴时，其formal ball构成的偏序集正好是它的tensor完备化.     

连续范畴

将定向完备偏序集上的way-below关系推广到任意小范畴上,从而在任意小范畴上引入了连续性.并进一步讨论了连续范畴的性质,证明了连续范畴有许多类似于连续偏序集的好的性质.     

Ω-群的同态定理

对Ω-群作了初步的探讨.通过对一般抽象群的同态定理的研究,得到了Ω-群的子群对应定理.设π是Ω-群G与它的商群G/N之间的自然同态,则π建立了G中所有包含N的Ω-子群与G/N中全部Ω-子群之间的一个一一对应.     

布尔代数的Ω-模糊子代数

研究布尔代数的Ω-模糊子代数及其性质．定义布尔代数的仔模糊子代数,给出布尔代数的Ω-模糊子代数的两个简化判定定理,并证明布尔代数的Ω-模糊子代数的交、同态像和同态逆像等也是布尔代数的Ω-模糊子代数．然后,令RΩ表示集合Ω到布尔代数R的所有映射的集合,通过在RΩ上定义3种运算 , ,-,得到布尔代数〈RΩ, , ,-,I0,I1〉,并研究与其相关的模糊子代数和Ω-模糊子代数．     

相容连续范畴

本文给出了相容定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论了相容定向完备范畴上的way-below关系的一些性质,证明了在相容连续范畴中way-below关系满足强插值性质.最后给出了相容连续范畴的一个刻画定理,即相容定向完备范畴L是相容连续的当且仅当对任意的x∈obL,↓x是连续的.     

完全分配格范畴的完备性与余完备性

证明了完全分配格范畴是完备的和余完备的格范畴。     

极限范畴与平凡扩张

研究右完备的Abel范畴上的右平凡扩张,得出右完备范畴的平凡扩张范畴也是右完备范畴,并证明了范畴的平凡扩张与极限的交换性.     

局部定向完备范畴及其上的辅关系

文章从局部化的思路出发,提出局部定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论局部定向完备范畴上的辅关系,特别是way-below关系的一些性质,证明了在连续的局部定向完备范畴中way-below关系满足强插值性质.