期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

范畴Ω-Cat的完备性 被引量：5

The Completeness of Ω-Cat Category
原文传递
导出
摘要 Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴。 Ω-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 equalizer and product in the category of ΩCat,and given the Ω-valued product in two ways both pointed andnon-pointed.Furthermore,we proved that the Ω-Cat category is a complete category.
作者 耿俊 汤建钢 聂晓艳
机构地区 喀什师范学院数学系 伊犁师范学院数学与统计学院
出处 《模糊系统与数学》 CSCD 北大核心 2012年第2期147-151,共5页 Fuzzy Systems and Mathematics
基金 国家自然科学基金资助项目(11161050) 新疆维吾尔自治区自然科学基金资助项目(2011211A051)
关键词 Ω-范畴 等值子 Ω-值乘积 完备范畴 Ω-category Equalizer Ω-valued Product Complete Category
分类号 O159 [理学—基础数学] O154 [理学—基础数学]
  • 相关文献

参考文献11

  • 1Boreeux F. Handbook of categorical algebra 2[M]. Cambridge University Press,1994.
  • 2de Bakker J W, Zucker J. Processes and the denotational semantics of concurrency[J].Information and Control, 1982,54:70-120.
  • 3Lawvere F W. Metric spaces, generalized logic, and closed categories[J]. Re nd. Sem. Mat. Fis. Milano, 1973,43:135 -166.
  • 4Lawvere F W. An elementary theory of the category of sets[J]. Proc. Nat. Acad. Sci. USA, 1964,52:1506- 1511.
  • 5Mac Lane S. Categories for the working mathermatician[M]. Berlin-Heidelberg-New York :Springer, 1972.
  • 6Scott D S. Continuous lattices [J ]. Toposes, Algebraic Geometry 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 ΩeategoriesΩ Theoretical ComputerScience, 1997,184 :61- 104.
  • 9汤建钢.L-fuzzy群范畴中的乘积运算[J].模糊系统与数学,1993,7(1):62-70. 被引量：31
  • 10汤建钢.几种格上拓扑空间范畴中乘积与上积运算的封闭性[J].数学学报（中文版）,1999,42(3):403-410. 被引量：20

二级参考文献32

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

共引文献36

同被引文献34

  • 1汤建钢.L-fuzzy群范畴中的乘积运算[J].模糊系统与数学,1993,7(1):62-70. 被引量：31
  • 2汤建钢.基于层结构的格值结构提升范畴[D].成都:四川大学,2009.
  • 3Borceux F. Handbook of Categorical Algebra 2[M]. Cambridge University Press, 1994.
  • 4de Bakker J W, Zucker J. Processes and the denotationalsemantics of concurrency[J]. Information and Control, 1982,54:70-120.
  • 5Lawvere F W. Metric spaces, generalized logic, andclosed categories[J]. Re nd. Sem. Mat. Fis. Milano, 1973,43 : 135 -166.
  • 6Mac Lane S. Categories for the WorkingMathermatician[M]. Berlin-Heidelberg-New York:Springer,1972.
  • 7Scott D S. Continuous lattices [J]. Toposes, AlgebraicGeometry and Logic, volume of 274 Lecture Notes in Mathematics, 1972 : 97 - 136.
  • 8Wagner K R. Solving recursive domain equations with enriched categories[D]. Carnegie Mellon University, Tech. Report CMU-CS-94-159,1994.
  • 9Wagner K R. Liminf convergence in O-categories[J]. Theoretical ComputerScience, 1997,184: 61- 104.
  • 10Borceux F. Handbook of categorical algebra2[M]. Cambridge University Press,1994.

引证文献5

二级引证文献1

模糊系统与数学
2012年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部