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

The Functional Space and the Properties of Ω-Cat Category

作　　者：耿俊[1,2] 汤建钢[1] 

机构地区：[1]伊犁师范学院数学与统计学院,新疆伊宁835000 [2]四川大学数学学院长江数学中心,四川成都610065

出　　处：《模糊系统与数学》2014年第5期71-75,共5页Fuzzy Systems and Mathematics

基　　金：新疆维吾尔自治区普通高校重点学科开放课题(2012ZDXK01)

摘　　要：Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。Ω-category has category theory and order theory double meaning,which can provide a quantitative model for the semantics of computer programming languages.In this paper we researched theΩ-valued functional space inΩ-Cat category.Furthermore,we pointed out theΩ-valued functional space functor is a right adjoint for theΩ-valued product functor.Finally we proved theΩ-Cat category is cartesian closed.

关 键 词：Ω-范畴 Ω-值函数空间 伴随函子 Cartesian闭性 

分 类 号：O159[理学—数学] O154[理学—基础数学]