对合Quantale及范畴性质.pdfVIP

对合Quantale及其范畴性质 肖滢 Quantale理 摘要 自从C。J．Mulvey于1986年提出Quantale概念以来， 论受到了数学家和逻辑学家的广泛关注．基于Quantale和C‘一代数的基本理论， 范畴的极限和逆极限作了较为细致而深入地研究．本文的主要内容如下： 第一章预备知识．给出了本文将要用到的Quantale理论、范畴理论的基本 概念和结果． 的例子．较为细致地讨论了对合Quantale上的对合运算所具备的基本性质．构造 右)理想和(左、右)滤子的概念，并对这种理想的结构作了初步研究，得到了一些 由特殊元生成的理想的结构． 和商对合Quantale之闯的同构映射． 收缩、常值态射、余常值态射、零态射等特殊态射和始对象、终对象等特殊对象， 给出了他们的具体刻画．证明了对合Quantale范畴是点化的、连通的范畴．给出 得到了逆系统的逆极限结构，引入了两个逆系统之间映射的定义，由此导出Tx于合 Quantale范畴中两个逆系统的逆极限之间的极限映射． 关键词： 对合Quantale，子对合Quantale，理想，同余关系，范畴． InvolutiveandIts Properties QuantaleCategorical XIAO Ying was in of introduced by the C．J．Mulvey Abstract：Since conceptquantale the of and closeattentionto mathematicians theoryquan— pay 1986，many logicists the of andthe of Oil theoryquantalestheory tales．Basing anew 1992．Theaim advanced J．W．Pelletier and concept一一involutivequantale，in ofthis isto somebasic ofinvolutive to paperstudy properties the relationandthe ofinvolu· theresearches congruence homomorphism concerning thelifton involutive further．At