双Quantale模范畴的余完备性.pdfVIP

第 11卷第 3期 南阳师范学院学报 VO1．1lNo．3 2012年 3月 JournalofNanyangNormalUniversity Mar． 2O12 双 Quantale模范畴的余完备性 周 异 辉 (陕西师范大学 计算机科学学院，陕西 西安 710062) 摘 要 ：在对双 Quantale模基本性质研究的基础上 ，讨论 了双 Quantale模范畴中的余极限，给 出了余极限的基本结构。 证 明了双 Quantale模范畴的余完备性，这是对 已有双Quantale模范畴性质的完备和补充． 关键词 ：范畴；余极限；余完备 中图分类号 ：0153．1 文献标识码 ：A 文章编号 ：1671—6132(2012)03—0012—03 0 引言 Quantale的概念是 1986年由C．J．Mulvey提出的 ，其 目的是研究非交换 的 C ．代数 ，并给量子力学 提供新的数学模 型．1990年 ，系统介绍 Quantale基本 内容的教材出版 ，从此 Quantale成为数学工作者和 理论计算机学者的研究热点 ，在非交换 G 一代数 、环的理想 和线性逻辑 等理论 中有广泛的应用．自 从 Abramsky和 Vickers。。提出Quantale模的概念 以来，Quantale模受到许多学者的关注 卜J．随着 Quantale 理论的不断发展 ，对 Quantale模 的研究也更加深入．文献 [11]提出双 Quantale模 的概念 ，并利用代数学及 范畴论的方法详细研究了双 Quantale模范畴的性质 ，证 明了双 Quantale模范畴是完备 的．本文在此基础 上，研究了双 Quantale模范畴中的余极限，证明了此范畴的余完备性． 1 预备知识 首先给出本文所需的关于 Quantale和双 Quantale模的基本知识 ，可见参考文献 [11]．关于范畴论 的 内容，可参看文献 [12]． 定义 1．1 设 Q是完备格 ，是 Q上的二元运算，若 Va，b，c∈Q，V {b：iE，) Q， (1)(ab)c=0(bc)； (2)Ⅱ(Vb)：V(ab)，(Vb)口=V(bi0)， 则称 (Q，)为 Quantale，简称 Q为 Quantale． 定义 1．2 设 Q为 Quantale，M是完备格．若映射 ：Q×M ×Q— 满足V {Ⅱ：i∈，) Q，V {b：∈ ，‘) Q，V{m ：k∈K) M，V0，b，c，d Q ，Vm∈M，有 (1)T(V口，m，Vb)=V VT(。，m，b，)； E f E J lE 11 ∈』 (2)T(口，Vm ，b)=VT(0，m ，b)； (3)T(ab，m，cd)=T(0，T(b，m，c)，d)， 则称 ( ，)为 Q上的双 Quantale模 ，简称 为双 Q一模． 定义 1．3 设 Q为 Quantale，( ，T)，( ：，T2)均为双 Q-模．若 映射厂： 一 满足Vn，b∈Q，Vm ∈ MI，V{m ：i∈，} l，有 (1 Vm)：V m)； (2 T。(0，m，b))= (o m)，b)， 则称 ．厂为双 Q．模 同态． 设 Q为Quantale，称以双 Q一模为对象，以双Q一模同态为态射的范畴为 Q上的双Quantale模范，记为QModQ． 定义 1．4 设 Q为 Quantale，(M，T)为双 Q一模 ， M ×M．若 收稿 日期 ：2011—12—10 基金项 目：国家 自然科学基金；陕西师范大学科研启动经费资助项 目 作者简介 ：周异辉(1981一)，女 ，河北蠡县人 ，讲师 ，博士，主要从事为格上拓扑与模糊推理研究 万方数据 第 3期 周异辉 ：双 Quantale模范畴的余完备性 (1)R是 上 的等价关系 ； (2)若V ∈，，(m，忍)∈R，贝0(V，，V )∈R； (3)若 (m，n)∈R，贝4Va，bEQ，有 (T(0，m，b)，T(口，n，b))