Computer Engineering and Applications ›› 2012, Vol. 48 ›› Issue (30): 50-52.

Previous Articles     Next Articles

Remark on coherent Quantale

PAN Fangfang1, HAN Shengwei2   

  1. 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

关于凝聚式Quantale的注记

潘芳芳1,韩胜伟2   

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

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

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

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