序半群范畴的反射子范畴

doi:10.3778/j.issn.1002-8331.2009.20.018

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (20): 61-62.DOI: 10.3778/j.issn.1002-8331.2009.20.018

序半群范畴的反射子范畴

潘芳芳¹，韩胜伟²

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

收稿日期:2008-11-25 修回日期:2009-02-13 出版日期:2009-07-11 发布日期:2009-07-11
通讯作者: 潘芳芳

Reflective subcategory of category of ordered semigroup

PAN Fang-fang¹，HAN Sheng-wei²

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

摘要/Abstract

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

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

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

潘芳芳¹，韩胜伟². 序半群范畴的反射子范畴[J]. 计算机工程与应用, 2009, 45(20): 61-62.

PAN Fang-fang¹，HAN Sheng-wei². Reflective subcategory of category of ordered semigroup[J]. Computer Engineering and Applications, 2009, 45(20): 61-62.

[1]	路玲霞. 值域为坡代数的加权图和模糊图的范畴关系[J]. 计算机工程与应用, 2017, 53(9): 38-40.
[2]	苗德成1，奚建清2，刘新盛3. Fibrations理论在索引归纳数据类型语法构造中的应用[J]. 计算机工程与应用, 2017, 53(4): 70-74.
[3]	潘芳芳. 不可约Quantale[J]. 计算机工程与应用, 2016, 52(18): 51-53.
[4]	王昭海. 余Frame范畴中同余和同态关系的相关性质[J]. 计算机工程与应用, 2016, 52(18): 54-56.
[5]	李鸿1，2. 基于偏序关系粒范畴的构造方法[J]. 计算机工程与应用, 2015, 51(6): 11-15.
[6]	覃锋1，万红艳2. 构造广义折衷算子的另一方法[J]. 计算机工程与应用, 2015, 51(4): 49-53.
[7]	李令强1，2，3，金秋2，王丽华2，汤建钢1. 满层L-收敛空间的局部有界与局部紧性[J]. 计算机工程与应用, 2014, 50(10): 57-60.
[8]	梁少辉1，韩胜伟2. 双Quantales模中的张量积[J]. 计算机工程与应用, 2012, 48(9): 30-32.
[9]	肖旗梅1，2，李庆国1. 软Quantale[J]. 计算机工程与应用, 2012, 48(6): 21-23.
[10]	潘芳芳1，韩胜伟2. 关于凝聚式Quantale的注记[J]. 计算机工程与应用, 2012, 48(30): 50-52.
[11]	韩胜伟¹，潘芳芳². Quantale上的基[J]. 计算机工程与应用, 2010, 46(9): 31-32.
[12]	韩胜伟. 序半群上的等同关系[J]. 计算机工程与应用, 2010, 46(34): 15-16.
[13]	崔艳丽，吴洪博. 闭包算子空间范畴及其性质研究[J]. 计算机工程与应用, 2010, 46(27): 54-56.
[14]	屈文建^1,2,薛锦云^3,4. PAR方法和循环不变式的范畴语义[J]. 计算机工程与应用, 2009, 45(8): 50-54.
[15]	韩习武. 汉英动词次范畴化对应关系自动获取[J]. 计算机工程与应用, 2008, 44(6): 9-13.

序半群范畴的反射子范畴

Reflective subcategory of category of ordered semigroup

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics