检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]泰山学院数学与系统科学系,山东泰安271021 [2]泰安第十九中学,山东泰安271000
出 处:《泰山学院学报》2008年第3期26-29,共4页Journal of Taishan University
摘 要:引入了关系对合Quantale的定义,得到了对合Quantale的表示定理,并且在范畴意义下,讨论了对合Quantale范畴与其满子范畴等价.In this paper, the defination of the relation involutive quantale is introduced, and the representation theorem for involutive quantale is obtained. In Addition, under the help of the category theory, the equivalence between the category of the involutive quantale and its full subcategory is considered.
关 键 词:关系对合Quantale 对合Quantale范畴 范畴等价
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.52