范畴CDCPO及其子范畴的完备性  

Completeness of the Category CDCPO and Its Subcategories

作　　者：朱宁静 贺伟[1] 

机构地区：[1]南京师范大学数学科学学院,江苏南京210023

出　　处：《模糊系统与数学》2014年第6期1-8,共8页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11171156)

摘　　要：讨论范畴CDCPO的完备性以及余积的存在性。证明了CDCPO的子范畴L-CDCPO不是完备的;给出了该范畴的一个非满的完备子范畴LCDOM并证明了该子范畴存在余积。给出了L-CDCPO范畴的满子范畴LCDOMI并证明其存在等值子。In this paper, we firstly investigate the completeness and the existence of the co-product of the category CDCPO. It is proved that the subcategory L-CDCPO of CDCPO is not complete; then we give a complete hut not full subcategory LCDOM of L-CDCPO and prove that the co-product in LCDOM exists. At last, we give a full subcategory LCDOMI of L-CDCPO, and prove that equalizers in the subcategory LCDOMI exists.

关 键 词：cdcpo L—cdc PO 等值子 积与余积 完备(子)范畴 主理想子集完备 

分 类 号：O153[理学—数学] O189[理学—基础数学]