范畴Ω-Cat的函数空间及其性质.pdfVIP

第 28卷第 5期 模 糊 系 统 与 数 学 Vo1．28。No．5 2014年 1O月 FuzzySystemsandMathematics 0Ct．．2014 文章编号 ：1001—7402(2014)05—0071—05 范畴 一Cat的函数空间及其性质 耿 俊 ，汤建钢 (1．伊犁师范学院 数学与统计学院，新疆 伊宁 835000； 2．四川I大学 数学学院 长江数学 中心，四川I成都 610065) 摘 要：一范畴具有范畴论和序理论的双重意义，可为计算机程序语言的语义提供量化的模型，本文研 究了范畴 力一Cat的n一值函数空间，得 出了n一值函数空间函子与力一值积函子互为伴随函子，证 明了范畴 力一Cat是 Cartesian闭范畴。 关键词 ：n一范畴 ；n一值 函数空间；伴随函子 ；Cartesian闭性 中图分类号 ：O159；0154 文献标识码 ：A 1 引言 力一范畴为计算机程序语言的语义提供 了量化 的模型，成为量化 Domain理论 中主要 的研究对象。 Scot{。创立的Domain理论是程序设计语言指称语义学 的数学基础 ，其关注 的是信息的逼近和收敛， 序结构在这一领域 中起着重要作用。经典 的偏序集只能定性地描述信息问的逼近关系 ，无法为计算机 程序语言的语义表示提供更加精细的量化模型。文[2]中，deBakker和Zucker建立 了基于度量空间的 量化语义模型，该模型用实数定量地描述信息间的逼近程度，能够直观地反映信息间的逼近关系。数学 家Lawerec指 出，度量空间和偏序集都是特殊的 一范畴。 一范畴用n中的一个元素定量的描述两个元 素之间的关系 ，可看作 力一值 的序结构 ，因此利用 一范畴可建立一种量化 的语义模型 。对于 力一范畴， Wagne{ 建立了 一范畴的liminf完备性理论 ，文[6]对 一范畴的完全分配性、连续性等序结构性质作 了研究 。 ‘ 范畴论从整体上研究空间形式和数量关系的联系与转化，强调整体性、变化性和转化性，能够很好 地揭示事物的外部特征。基于 一范畴具有范畴论和序理论的双重意义 ，本文在文献E3]的基础上 ，进一 步研究了范畴n—Cat的n一值函数空间的存在性及其表示 ，并讨论了 一值函数空问函子与 一值积 函子 的伴随性 ，同时证明了范畴 n—Cat是 Cartesian闭范畴。 2 预备知识 本文中Set表示集合范畴 。 定义 2．1E 设 力是一个完备格 ，称三元组 (，*，)是一个交换的有单位元的Quantale，若 ： (1)(g2，*)是 以 为单位元的交换半群 ； * 收稿 日期 ：2012—10-05 基金项 目：新疆维吾尔 自治区普通高校重点学科开放课题 (2012ZDXK01) 作者简介 ：耿俊 (1984一)，男，内蒙古 四子王旗人 ，博士研究生 ，研究方 向：Domain理论 ，不确定性处理 的数学 ；汤建钢 (通讯作者) (1959一)，男 ，新疆尼勒克人，教授 ，研究领域 ：不确定性处理 的数学 ，拓扑与序结构 ，经典与非经典计算理论 。 72 模 糊 系 统 与 数 学 2014往 (2)对每个 夕E ，P*(一)：力一 是保序映射 ，并且有右伴 一 (一)：力一 ；即对任意的P，q，r∈ ， P g≤r甘g≤户一r． 定义 2．2_10] 设 (，*，)是一个交换的有单位元 的Quantale，称序对 (X，R)是一个 n一范畴，其中 X是集合，R是从 x×X到 的一个映射，且满足： (1)对每个 EX，≤R(z，z)； (2)对任意 z，y，zEX，R(x，)*R(y，)≤R(z，)。 定义2．3_】。] 设 (x，尺)，(y，)均是 范畴 ，称 f：(X，尺)一 (y，)是一个 力一函子 ，若态射 -厂：X—y 满足对任意 ，YEX，R(x，)≤ (厂(z)，，(_y))。 由范畴定义，以 范畴为对象， 函子为态射可构成一个范