基于Ω-范畴的定向与逆向函子伴随性的研究.pdf

第 28卷第 6期 模 糊 系 统 与 数 学 Vol_28，No．6 2014年 l2月 FuzzySystemsandMathematics Dec．，2014 文章编号 ：1001—7402(2014)06—0016-04 基于 一范畴的定向与逆向函子伴随性的研究 耿 俊 ，寇 辉 (四川大学 数学学院 长江数学中心，四川 成都 610065) 摘 要：一范畴具有范畴论和序理论的双重意义，可为计算机程序语言的语义提供量化的模型，本文给 出了范畴 n(X)之间的 Zadeh型定 向函子 与Zadeh型逆向函子的定义，同时证 明了Zadeh型定 向函子 与 Zadeh型逆 向函子互为一对伴随函子 。 关键词 ：n一范畴 ；Zadeh型定向函子 ；Zadeh型逆向函子 ；伴 随性 中图分类号 ：O159；0154 文献标识码 ：A 1 研究概述 (，*，)是一个交换的有单位元的Quantale，从范畴论的角度看 ，(，*，)是一个Monoidal闭范 畴，其上的Enriched范畴口称为 一范畴。 一范畴为计算机程序语言的语义提供了量化的模型，成为量 化 Domain理论 中主要的研究对象 。Scott[83创立的Domain理论是程序设计语言指称语义学 的数学基 础，其关注的是信息的逼近和收敛 ，序结构在这一领域中起着重要作用 。经典的偏序集只能定性地描述 信息间的逼近关系，无法为计算机程序语言的语义表示提供更加精细的量化模型。文[2]中，deBakker 和 Zucker建立了一个基于度量空间的量化语义模型，该模型用一个实数定量地描述信息间的逼近程 度，直观地反映了信息间的逼近关系。数学家 LawereI4指出，度量空间和偏序集都是特殊的力一范畴。 一 范畴用 中的一个元素定量的描述两个元素之间的关系，可以看作 n一值的序结构，从而利用 一范 畴可 以建立一种量化的语义模型 。对于n一范畴，Wagner[建立了力一范畴的liminf完备性理论 ，文[6]对 一 范畴的完全分配性、连续性等序结构性质作了进一步的研究。 范畴论从整体上研究空间形式和数量关系的联系与转化，强调整体性 、变化性和转化性 ，能够很好 地揭示事物的外部特征 。函子的伴随性质在许多具体的范畴中大量存在并且被广泛应用 ，是范畴理论 中的核心概念之一 。基于 范畴具有范畴论和序理论的双重意义 ，本文从范畴角度 ，进一步引入范畴 。 (x)，给出了Zadeh型定向函子与 Zadeh型逆向函子的定义 ，并研究了Zadeh型定向函子与Zadeh型 逆向函子的伴随性 。 ‘ 2 预备知识 本文 中Get表示集合范畴。 定义2．1[6 设 是一个完备格 ，称三元组 (0，*，)是一个交换的有单位元 的Quantale，若 ： * 收稿 日期 ：2012—10—17 基金项 目 国家 自然科学基金资助项 目 作者简介 ：耿俊(1984～)，男 ，博士研究生 ，研究方向：Domain理论 ；寇辉 (1970一)，男 ，教授 ，博士生导师 ，研 究方向：Domain理论与拓 扑学。 第 6期 耿俊 ，寇辉 ：基于 力一范畴的定 向与逆 向函子伴随性的研究 17 (1)(，*)是 以 为单位元的交换半群 ； (2)对每个 pEn，P*(一)：一 是保序映射，并且有右伴户一 (一)：一 ；即对任意的P，g，rE力， P g≤r甘g≤户 r． 定义 2．2E。 设 (n，*，j)是一个交换的有单位元的Quantale，称序对 (x，R)是一个 范畴，其中 x是集合 ，R是从 x×X到 n的一个映射 ，且满足 ： (1)对每个 xEX，，≤R(z，z)； (2)对任意 z，y，zEX，R(x，)*R(y，)≤R(z，z)。 将 X上的所有 R构成的类记作 ％ (X)，采用逐点定义 ，可以验证 ％ (X)是一个 Quantale。 定义 2。3 设 (x，尺)，(y，)均是 一范畴，称 f：(X，R)一 (y，S)是一个 力一函