The category of monoid actions in \(\mathbf{Cpo}\). (Q281082)

Let \(S\) be a directed complete pomonoid (dcpo). A dcpo which has a bottom element is said to be a cpo. \(\mathbf{Cpo}\) denotes the category of all cpos with cpo maps between them and \(\mathbf{Cpo}_{\mathbf{Act}\text{-}S}\) the category of all cpo \(S\)-acts, cpos equipped with actions of a monoid \(S\) on them and strict continuous action-preserving maps between them. It is proved for \(\mathbf{Cpo}_{\mathbf{Act}\text{-}S}\) that: 1) the products are Cartesian products with componentwise actions and order, 2) coproducts are coalesced sums (unions of components amalgamated by the bottom elements), 3) free and cofree cpo \(S\)-acts over a cpo exist, 4) \(\mathbf{Cpo}_{\mathbf{Act}\text{-}S}\) is not Cartesian closed, 5) monomorphisms are exactly one-to-one cpo \(S\)-maps, 6) an epimorphism is onto if and only if its image is a Scott-closed subset, 7) \(\mathbf{Cpo}_{\mathbf{Act}\text{-}S}\) is complete and cocomplete.