Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (20): 61-62.DOI: 10.3778/j.issn.1002-8331.2009.20.018

• 研究、探讨 • Previous Articles     Next Articles

Reflective subcategory of category of ordered semigroup

PAN Fang-fang1,HAN Sheng-wei2   

  1. 1.Department of Mathematics and Physics,Xi’an University of Post and Telecommunication,Xi’an 710121,China
    2.College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China
  • Received:2008-11-25 Revised:2009-02-13 Online:2009-07-11 Published:2009-07-11
  • Contact: PAN Fang-fang

序半群范畴的反射子范畴


潘芳芳1,韩胜伟2   

  1. 1.西安邮电学院 应用数学与物理系,西安 710121
    2.陕西师范大学 数学与信息科学学院,西安 710062
  • 通讯作者: 潘芳芳

Abstract: Firstly,some properties of the categories of ordered semigroup and Quantale and the relationship between them were discussed.Secondly,it was proved that the category of Quantale was the reflective subcategory of the category of ordered semigroup.Finally,the co-adjoint functor for the including functor from the category of Quantale to the category of ordered semigroup was obtained.

Key words: ordered semigroup, Quantale, topological closure, category

摘要: 首先讨论了序半群范畴和Quantale范畴的若干性质以及它们之间的关系,其次证明了Quantale范畴是序半群范畴的反射子范畴,最后得到了由Quantale范畴到序半群范畴的含入函子的余伴随函子。

关键词: 序半群, Quantale, 拓扑闭包, 范畴