期刊文献+

范畴Ω-Cat的函数空间及其性质 被引量:1

The Functional Space and the Properties of Ω-Cat Category
原文传递
导出
摘要 Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-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.
作者 耿俊 汤建钢
出处 《模糊系统与数学》 CSCD 北大核心 2014年第5期71-75,共5页 Fuzzy Systems and Mathematics
基金 新疆维吾尔自治区普通高校重点学科开放课题(2012ZDXK01)
关键词 Ω-范畴 Ω-值函数空间 伴随函子 Cartesian闭性 Ω--category Ω--valued Functional Space Adjoint Functor Cartesian Closedness
  • 引文网络
  • 相关文献

参考文献11

  • 1Borceux F. Handbook of Categorical Algebra 2[M]. Cambridge University Press, 1994.
  • 2de Bakker J W, Zucker J. Processes and the denotationalsemantics of concurrency[J]. Information and Control, 1982,54:70-120.
  • 3耿俊,汤建钢,聂晓艳.范畴Ω-Cat的完备性[J].模糊系统与数学,2012,26(2):147-151. 被引量:5
  • 4Lawvere F W. Metric spaces, generalized logic, andclosed categories[J]. Re nd. Sem. Mat. Fis. Milano, 1973,43 : 135 -166.
  • 5Mac Lane S. Categories for the WorkingMathermatician[M]. Berlin-Heidelberg-New York:Springer,1972.
  • 6Scott D S. Continuous lattices [J]. Toposes, AlgebraicGeometry and Logic, volume of 274 Lecture Notes in Mathematics, 1972 : 97 - 136.
  • 7Wagner K R. Solving recursive domain equations with enriched categories[D]. Carnegie Mellon University, Tech. Report CMU-CS-94-159,1994.
  • 8Wagner K R. Liminf convergence in O-categories[J]. Theoretical ComputerScience, 1997,184: 61- 104.
  • 9汤建钢.L-fuzzy群范畴中的乘积运算[J].模糊系统与数学,1993,7(1):62-70. 被引量:31
  • 10汤建钢.几种格上拓扑空间范畴中乘积与上积运算的封闭性[J].数学学报(中文版),1999,42(3):403-410. 被引量:20

二级参考文献43

  • 1汤建钢.L-fuzzy群范畴中的乘积运算[J].模糊系统与数学,1993,7(1):62-70. 被引量:31
  • 2彭育威.L-Fuzzy拓扑空间的良紧性[J].数学学报,1986,29:555-558.
  • 3何明.L不分明集上的双诱导映射[J].科学通报,1986,(6):475-475.
  • 4刘应明 何明.完全分配格上的诱导映射[J].科学通报,1985,30:1203-1206.
  • 5王国俊.论Fuzzy格之构造[J].数学学报,1986,(29):539-543.
  • 6刘应明.不分明拓扑空间中的紧性与TИXOHOB乘积定理[J].数学学报,1981,24(2):260-268.
  • 7王国俊.L-fuzzy拓扑空间中的连通性[J].陕西师大学报(自),1987,13(3):1-10.
  • 8刘旺金 汤建钢.拓扑分子格范畴中的乘积与上积[J].工程数学学报,1988,5(3):102-105.
  • 9王国俊.完全分配格上的序同态[J].数学进展,1987,16(1):55-60.
  • 10王国俊.L-fuzzy拓扑空间的乘积空间[J].模糊系统与数学,1987,1(1):27-34.

共引文献38

同被引文献2

引证文献1

;
使用帮助 返回顶部