关于凝聚式Quantale的注记

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (30): 50-52.

关于凝聚式Quantale的注记

潘芳芳1，韩胜伟2

1.西安邮电学院应用数学与物理系，西安 710121
2.陕西师范大学数学与信息科学学院，西安 710062

出版日期:2012-10-21 发布日期:2012-10-22

Remark on coherent Quantale

PAN Fangfang1, HAN Shengwei2

1.Department of Mathematics and Physics, Xi’an University of Posts and Telecommunications, Xi’an 710121, China
2.College of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, China

Online:2012-10-21 Published:2012-10-22

摘要/Abstract

摘要： 主要给出了凝聚式Quantale的具体构造，讨论了它们之间的关系；证明了凝聚式Quantale范畴是[m-]半格范畴的反射子范畴。

关键词: 序半群, Quantale, 凝聚式Quantale, [m-]半格

Abstract: The main purpose is to give the ways of constructing coherent Quantale, and to investigate the relation between these coherent Quantale; it is proved that the category of coherent Quantale is a reflective subcategory of the category of m-semilattices.

Key words: ordered semigroup, Quantale, coherent Quantale, m-semilattice

潘芳芳1，韩胜伟2. 关于凝聚式Quantale的注记[J]. 计算机工程与应用, 2012, 48(30): 50-52.

PAN Fangfang1, HAN Shengwei2. Remark on coherent Quantale[J]. Computer Engineering and Applications, 2012, 48(30): 50-52.

[1]	潘芳芳. 不可约Quantale[J]. 计算机工程与应用, 2016, 52(18): 51-53.
[2]	覃锋1，万红艳2. 构造广义折衷算子的另一方法[J]. 计算机工程与应用, 2015, 51(4): 49-53.
[3]	梁少辉1，韩胜伟2. 双Quantales模中的张量积[J]. 计算机工程与应用, 2012, 48(9): 30-32.
[4]	肖旗梅1，2，李庆国1. 软Quantale[J]. 计算机工程与应用, 2012, 48(6): 21-23.
[5]	陈冬青，吴洪博. WBR₀-代数的∧-半格表示及其实例[J]. 计算机工程与应用, 2011, 47(27): 49-51.
[6]	韩胜伟¹，潘芳芳². Quantale上的基[J]. 计算机工程与应用, 2010, 46(9): 31-32.
[7]	韩胜伟. 序半群上的等同关系[J]. 计算机工程与应用, 2010, 46(34): 15-16.
[8]	潘芳芳¹，韩胜伟². 序半群范畴的反射子范畴[J]. 计算机工程与应用, 2009, 45(20): 61-62.
[9]	王伟华,吴洪博. 非交换BR₀-代数与其上的Quantale[J]. 计算机工程与应用, 2008, 44(25): 43-45.