范畴Ω-Cat的极限和余极限  

Limit and Colimit in the Category of Ω-Cat

作　　者：耿俊[1] 汤建钢[2] 聂晓艳[2] 

机构地区：[1]喀什师范学院数学系,新疆喀什844006 [2]伊犁师范学院数学与统计学院,新疆伊宁835000

出　　处：《模糊系统与数学》2012年第4期89-93,共5页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11161050);新疆维吾尔自治区自然科学基金资助项目(2011211A051)

摘　　要：Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-Cat中极限和余极限的定义,同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。Ω-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 given the definition of limit and colimit in the category of Ω-Cat,meanwhile researched the relationship between the Ω-Cat category and the set category.

关 键 词：Ω-范畴 极限 余极限 

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