Reflective subcategory of category of ordered semigroup
Shengwei Han · Computer Engineering and Applications Journal · 2009
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.