连续Quantale与双Quantale模领域.pdfVIP

连续Quantale与双Quantale模范畴 梁少辉 受到了数学家和逻辑学家的关注．对它的研究涉及到非交换口．代数，环的理想理 论，逻辑和计算机科学等诸多领域．Quantale自身具有丰富的序结构和代数结构， 与此相关的拓扑结构以及范畴结构也有丰富的研究内容．本文对连续Quantale、 的主要内容如下： 第一章 预备知识．本章给出了将要用到的Quantale理论和范畴理论的基本 概念和结果． 第二章 想的一些性质．最后，讨论了连续Quantale范畴的性质，证明此范畴是点化的．连 通的，而且还探讨了连续Quantale范畴中的投射、乘积． 间的一些关系．由一个理想可以确定出一个双Quantale模的子模．最后给出了双 射的像，证明了双Quantale模上所有的同余构成的完备格与所有的核映射构成的 完备格是同构的． 第四章 模范畴中等子、余等子，乘积和集体拉回的具体结构．证明了双Quantale模范畴 范畴有核，余核．其次，给出了双Quantale模范畴极限的具体结构．最后，研究了 双Quantale模范畴中的逆系统的相关性质，得到了逆系统的逆极限结构，引入了 两个逆系统之间映射的定义，由此导出了双Quantale模范畴中的两