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

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

L-Flou集范畴及其层表示

用模糊集的方法和原理,给出L-flou集合范畴Set(fL)的概念,并证明L-fuzzy集合范畴Set(L)与范畴Set(fL)的同构关系.根据范畴Set(L)与赋予层结构的集合范畴SetL(S H)的同构关系,得到范畴Set(fL)同构于范畴Set_L(S H).     

Abel范畴的Noether同构定理

刻画了拉回、推出与正合序列的关系,进而证明Abel范畴的Noether同构定理.     

半群分次范畴的Smash积

设S为有单位元1的可消半群,引入半群S-分次范畴的Smash积的概念,分别证明半群S-分次范畴C的Smash积C#S的商范畴(C#S)/S与范畴C同构,以及自由半群S-范畴B的商范畴B/S的Smash积范畴(B/S)#S与范畴B同构.从而说明半群分次范畴的Smash积与自由半群作用范畴的商在半群分次范畴和自由半群作用范畴之间是互逆的结构.     

广义Frame的谱空间

本文在frame的范畴形式推广--广义frame上引进点、素元与谱空间的概念,并且证明任意广义frame都是完备、余完备的Cartesian闭范畴.进而说明一个广义frame上全体点与该广义frame上全体素元之间存在着范畴等价的关系,此关系不同于经典frame理论中相应的--对应关系.并且讨论了广义Frame范畴与拓扑空间范畴之间的函子关系,最后,证明广义frame的谱空间是Sober空间.     

k-线性三角矩阵范畴

k-线性范畴是有限维k-代数的自然推广.设C=C1凵MC2是k-线性三角矩阵范畴,首先证明k-线性三角矩阵范畴C是三角矩阵代数的自然推广,然后研究左C模范畴,证明了cMod同构于三元组范畴CT,并利用Hom函子与函子的伴随关系,得到CMod同构于三元组范畴C■,推广了经典的三角矩阵代数的模范畴理论.     

范畴L-CTop同构范畴L-FTop

对任意完备的Heyting代数L,入了L-拓扑的塔的概念,并证明了其构成的范畴与L-模糊拓扑范畴是同构的。     

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

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

弱Hopf群余代数上的Yetter-Drinfeld模及中心构建

 研究弱Hopf群余代数上的Yetter-Drinfeld模,探讨其在弱Hopf群余代数上的性质,并给出它的等价条件.同时介绍单项范畴、单项范畴上的中心及弱中心,在此基础上,研究它与Yetter-Drinfeld模的关系.最后,证明在一定条件下二者是同构的,从而对弱Hopf群余代数及相关结构进行了更进一步的刻画.     

*-代数上的一类线性双射

目的设A和B是含单位元的*-代数,Φ:A→B是线性双射。揭示了满足Φ(AA*A)=Φ(A)Φ(A*)Φ(A)(A∈A)的映射Φ与Jordan同构的关系;同时也揭示了满足Φ(AA*A)=Φ(A)Φ(A)*Φ(A)(A∈A)的映射Φ与Jordan*-同构的关系。方法从Jordan同构和Jordan*-同构的定义入手,运用Φ的线性性和满性进行了证明。结果如果对任意的A∈A有Φ(AA*A)=Φ(A)Φ(A*)Φ(A),则Φ是一个可逆元乘一个Jordan同构;如果对任意的A∈A有Φ(AA*A)=Φ(A)Φ(A)*Φ(A),则Φ是一个酉元乘一个Jordan*-同构。结论为进一步研究Jordan同构提供了新的思路。     

E-quantale范畴

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

强自吸收C＊-代数若干问题研究

用简明的方法证明了可分的有单位元的强自吸收的C＊-代数是逼近内翻转的C＊-代数,同时给出C＊-代数强自吸收的等价定义。设A为可数的C＊-代数,D可数的有单位元的强自吸收的K1-单的C＊-代数,证明了A与A D同构的两个等价条件。     

L-子坡代数范畴及其性质

研究L-子坡代数范畴L-SInc的性质,首先给出了L-子坡代数范畴的定义,证明了其为坡代数范畴上的拓扑范畴,给出了其中等子和乘积的构造,证明了它有拉回.其次,定义了坡代数L-余塔的概念,以及由所有坡代数L-余塔构成的范畴IncCL,证明了在一定条件下,范畴L-SInc与范畴IncCL同构.     

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

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

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

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

邻域系算子范畴及相关性质

对拓扑空间中的邻域系性质进行了进一步研究.提出了邻域系算子和邻域连续映射的概念,定义了邻域系算子范畴,讨论了该范畴上的余积和乘积,并证明了邻域系算子范畴与拓扑范畴是同构的2个范畴.     

左拟正规带的自由积

证明了左拟正规带在半群范畴中的自由积的极大左拟正规带同态象,同构于它们在左拟正规带范畴中的自由积,从而证明了左拟正规带自由积的存在性。还建立了交换自由积的概念,并考察了半格自由积与交换自由积的关系。