科研之友
微信
新浪微博
Facebook
分享链接
摘要
In this note, we prove the existence of epsilon <=-injective hulls in the category PoSgr <= of posemigroups and their submultiplicative order-preserving maps; here epsilon <= denotes the class of those morphisms h: A -> B for which h(a(1)) . . . h(a(n)) <= h(a) always implies a(1) . . . a(n) <= a. The result of this note subsumes the results given by Lambek et al. (2012) and by Zhang and Laan (2014).
- 出版日期2017
- 单位陕西师范大学
