模糊DCPO范畴的一个笛卡尔闭的满子范畴
A Cartesian Closed Full Subcategory of the Category of Fuzzy dcpos作者机构:陕西师范大学数学与信息科学学院陕西西安710062
出 版 物:《模糊系统与数学》 (Fuzzy Systems and Mathematics)
年 卷 期:2014年第28卷第6期
页 面:9-15页
核心收录:
学科分类:07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金:国家自然科学基金资助项目(11001158) 中央高校基本科研业务费专项资金项目(GK201002025)
主 题:有界完备模糊dcpo 笛卡尔闭范畴 模糊完备交半格 模糊Scott连续映射
摘 要:引入了有界完备模糊dcpo的概念,研究了有界完备模糊dcpo的基本性质。证明了当赋值格L是Frame时,以模糊Scott连续映射为态射的有界完备模糊dcpo范畴BC-FDCPO是以模糊Scott连续映射为态射的模糊dcpo范畴FDCPO的笛卡尔闭子范畴。同时还给出了模糊完备交半格、强模糊完备交半格的定义,并研究了它们与有界完备模糊dcpo之间的关系。