A radical extension of the category of S-sets

Let S-Set be the category of S-sets, sets together with the actions of a semigroup S on them. And, let S-Pos be the category of S-posets, posets together with the actions compatible with the orders on them. In this paper we show that the category S-Pos is a radical extension of S-Set; that is there is a radical on the category S-Pos, the order desolator radical, whose torsion-free class is S-Set. To do this, first we give a precise definition of a radical on the category S-Posand construct some functors between the above mentioned categories and finally we show that S-Pos is a radical extension of S-Set.