JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE) ›› 2016, Vol. 51 ›› Issue (6): 57-64.doi: 10.6040/j.issn.1671-9352.0.2015.270

Previous Articles     Next Articles

Continuous directed-complete ordered semigroups and their categorical properties

LIU Ni, ZHANG Miao-miao   

  1. College of Mathematics and Information Science, Shaanxi Normal University, Xian 710062, Shaanxi, China
  • Received:2015-06-08 Online:2016-06-20 Published:2016-06-15

Abstract: Firstly, the concept of continuous directed-complete ordered semigroup is introduced. Secondly, some equivalent characterizations of continuous directed-complete ordered semigroup are obtained. Finally, it is proved that the category CDOSG with objects all continuous directed-complete ordered semigroups and morphisms all ordered semigroup homomorphisms preserving directed sups between them is finite complete. Moreover, its full subcategory CCDOSG with objects all commutative continuous directed-complete ordered semigroups is finite complete and closed for function space.

Key words: ordered semigroup, continuous directed-complete ordered semigroup, D-semigroup homomorphism, finite complete category

CLC Number: 

  • O153
[1] MULVEY C J. &[J]. Rendiconti del Circolo Matematico di Palermo II, 1986, 12(2):99-104.
[2] MULVEY C J, PELLETIER J W. On the quantisation of points[J]. Journal of Pure and Applied Algebra, 2001, 159(2-3):231-295.
[3] ROSENTHAL K I. Quantales and their applications[M]. New York: Longman Scientific & Technical, 1990.
[4] GIRARD J Y. Linear logic[J]. Theoretical Computer Science, 1987, 50(1):1-102.
[5] ABRAMSKY S, VICKERS S. Quantale, observational logic and process semantics[J]. Mathematical Structures in Computer Science, 1993, 3(2):161-227.
[6] 李永明, 李志慧. Quantale与互模拟的进程语义[J]. 数学学报(中文版), 1999, 42(2):313-320. LI Yongming, LI Zhihui. Quantales and process semantics of bisimulation[J]. Acta Mathematica Sinica(Chinese Series), 1999, 42(2):313-320.
[7] 汪开云, 赵彬. Z-Quantale 及其范畴性质[J]. 数学学报(中文版), 2010, 53(5):997-1006. WANG Kaiyun, ZHAO Bin. Z-Quantales and their categorical properties[J]. Acta Mathematics Sinica(Chinese Series), 2010, 53(5):997-1006.
[8] BULMAN-FLEMING S, MAHMOUDI M. The category of S-Poset[J]. Semigroup Forum, 2005, 71:443-461.
[9] 李庆国, 刘丽. S-定向完备偏序集范畴[J]. 模糊系统与数学, 2011, 25(1):112-117. LI Qingguo, LIU Li. The category of S-Dcpos[J]. Fuzzy Systems and Mathematics, 2011, 25(1):112-117.
[10] 谢祥云. 序半群引论[M]. 北京:科学出版社, 2001. XIE Xiangyun. An introduction of partially ordered semigroup[M]. Beijing: Science Press, 2001.
[11] GIERZ G, HOFMANN K H, KEIMEL K, et al. Continuous lattices and domains[M]. Cambridge: Cambridge University Press, 2003.
[12] ADÁMEK J, HERRLICH H, STRECKER G E. Abstract and concrete categories[M]. New York: Wiley-Interscience, 1990.
[13] 贺伟. 范畴论[M]. 北京:科学出版社, 2006. HE Wei. Category theory[M]. Beijing: Science Press, 2006.
[14] DAVEY B A, PRIESTLEY H A. Introduction to lattices and order[M]. Cambridge: Cambridge University Press, 2002.
[1] TIAN Hong-yan, XU Xin-zhai*, MA Jing. On t-ordered semigroups [J]. J4, 2011, 46(3): 78-79.
[2] TANG Jian1, XIE Xiang-yun2. Completely prime and prime fuzzy ideals in ordered semigroups [J]. J4, 2010, 45(8): 93-98.
[3] MAO Hai-Ying, XU Xin-Zhai, LIAN Xiao-Pei. On C-ideals of ordered semigroups [J]. J4, 2010, 45(2): 14-16.
Full text



No Suggested Reading articles found!