Weak Factorization System for Actions of Po-monoids on Posets

Abstract

Let $S$ be a pomonoid. In this paper, {\bf Pos}-$S$, the category of $S$-posets and $S$-poset maps, is considered. One of the main aims of this paper is to draw attention to the notion of weak factorization systems in {\bf Pos}-$S.$ We show that if the identity element of $S$ is the bottom element, then $({\mathcal{C}}_{\mathcal{D}},{\mathcal{E}}_{\mathcal{S}})$ is a weak factorization system in {\bf Pos}-$S,$ where ${\mathcal{C}}_{\mathcal{D}}$ and ${\mathcal{E}}_{\mathcal{S}}$ are the class of down-closed embedding $S$-poset maps and the class of all split $S$-poset epimorphisms, respectively. Among other things, we use a fibrewise notion of complete posets in the category {\bf Pos}-$S/B$ under a particular case where $B$ has trivial action. We get a necessary condition for regular injective objects in {\bf Pos}-$S/B$. Finally, we characterize them under a spacial case, where $S$ is, a pogroup and conclude $(Emb,Top)$ is a weak factorization system in {\bf Pos}-$S$.