欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：