连续Quantale和双Quantale模范畴.pdf

连续Quantale与双Quantale模范畴 梁少辉 受到了数学家和逻辑学家的关注．对它的研究涉及到非交换口．代数，环的理想理 论，逻辑和计算机科学等诸多领域．Quantale自身具有丰富的序结构和代数结构， 与此相关的拓扑结构以及范畴结构也有丰富的研究内容．本文对连续Quantale、 的主要内容如下： 第一章 预备知识．本章给出了将要用到的Quantale理论和范畴理论的基本 概念和结果． 第二章 想的一些性质．最后，讨论了连续Quantale范畴的性质，证明此范畴是点化的．连 通的，而且还探讨了连续Quantale范畴中的投射、乘积． 间的一些关系．由一个理想可以确定出一个双Quantale模的子模．最后给出了双 射的像，证明了双Quantale模上所有的同余构成的完备格与所有的核映射构成的 完备格是同构的． 第四章 模范畴中等子、余等子，乘积和集体拉回的具体结构．证明了双Quantale模范畴 范畴有核，余核．其次，给出了双Quantale模范畴极限的具体结构．最后，研究了 双Quantale模范畴中的逆系统的相关性质，得到了逆系统的逆极限结构，引入了 两个逆系统之间映射的定义，由此导出了双Quantale模范畴中的两个逆系统的极 限之间的极限映射． II The of Continuous Categories Quantale andDouble Module Quantale LIANGShaohni AbstractSincethe of WaSintroduced and concept by quantale C．J．Mulvey in J．W．Pelletier mathematiciansand have attentionto 1986．many logicistspaid the of researchofthese haSrelatedtoseveralreseach theoryquantale．The subjects areasuchaSnon-commutative ideal of C’algebra，thetheoryrings，linearlogic andtheoretic science．Thereareabundantcontentsinthestructureof computer SOisthe of relative and SOme quantales，and quantale．Westudy carefullydeeply of continuous the properties moduleand ofdou- quantale，doublequantale category ble module．The ofthis isasfollows：