欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴-Cat中的余等值子和余积性质,揭示了范畴Ω-Cat与范畴Set中余等值子之间的关系,刻画了范畴Ω-Cat与范畴Set中余积之间的联系,同时证明了范畴Ω-Cat存在拉回.
英文摘要：
coequalizer and the coproduct in the category of Ω-Cat, and given the the relationship of coequalizer and coproduct between the Ω-Cat and the set category. Furthermore, we proved that the Ω-Cat category existed pullback.
同期刊论文项目
同项目期刊论文
期刊信息
位置：