A radical extension of the category of $S$-sets

Abstract

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.<br /><br /> 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.