期刊文章详细信息
范畴Ω-Cat的函数空间及其性质
The Functional Space and the Properties of Ω-Cat Category
文献类型：期刊文章
机构地区：[1]伊犁师范学院数学与统计学院,新疆伊宁835000 [2]四川大学数学学院长江数学中心,四川成都610065
基 金：新疆维吾尔自治区普通高校重点学科开放课题(2012ZDXK01)
年 份：2014
卷 号：28
期 号：5
起止页码：71-75
语 种：中文
收录情况：BDHX、BDHX2011、CSCD、CSCD2013_2014、JST、MR、ZGKJHX、ZMATH、核心刊
摘 要：Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。
关 键 词：Ω-范畴 Ω-值函数空间 伴随函子 Cartesian闭性
分 类 号：O159[数学类] O154]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
