Banaschewski’s theorem for S-posets: regular injectivity and completeness

In this paper we study the notion of injectivity in the category Pos-S of S-posets for a pomonoid S. First we see that, although there is no non-trivial injective S-poset with respect to monomorphisms, Pos-S has enough (regular) injectives with respect to regular monomorphisms (sub S-posets). Then, recalling Banaschewski’s theorem which states that regular injectivity of posets with respect to order-embeddings and completeness are equivalent, we study regular injectivity for S-posets and get some homological classification of pomonoids and pogroups. Among other things, we also see that regular injective S-posets are exactly the retracts of cofree S-posets over complete posets.