范畴K-Cat若干性质的研究  

Some Properties of the Ω-Cat Category

作　　者：耿俊[1] 邓勇[1] 

机构地区：[1]喀什师范学院数学系,新疆喀什844006

出　　处：《模糊系统与数学》2013年第5期140-145,共6页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11161050;31240020);新疆维吾尔自治区自然科学基金资助项目(2011211A051);喀什师范学院青年专项资助课题(122448)

摘　　要：K-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴K-Cat中的余等值子和余积性质,揭示了范畴K-Cat与范畴Set中余等值子之间的关系,刻画了范畴K-Cat与范畴Set中余积之间的联系,同时证明了范畴K-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.

关 键 词：Ω范畴 余等值子 余积 拉回 

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