模糊DCPO范畴的一个笛卡尔闭的满子范畴  

A Cartesian Closed Full Subcategory of the Category of Fuzzy dcpos

作　　者：刘妮[1] 胡亚立[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

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

基　　金：国家自然科学基金资助项目(11001158);中央高校基本科研业务费专项资金项目(GK201002025)

摘　　要：引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义,并研究了它们与有界完备模糊dcpo之间的关系。The concept of bounded complete fuzzy dcpo is introduced and its basic properties are discussed. It is proved that when the complete residuated lattice L is a frame, the category BC-FDCPO of all bounded complete fuzzy dcpos with fuzzy Scott continuous maps is a cartesian closed full subcategory of the category DCPO of all fuzzy dcpos. Moreover, fuzzy complete semilattice and strong fuzzy complete semilattice are defined and the relationships among them and the bouded complete fuzzy dcpo are discussed.

关 键 词：有界完备模糊dcpo 笛卡尔闭范畴 模糊完备交半格 模糊Scott连续映射 

分 类 号：O189[理学—数学]