The main idea of this paper is to introduce the notion of cat(1)-monoids and to prove that the category of crossed semimodules C = (A, B, partial derivative) where A is a group is equivalent to the category of cat(1)-monoids. ...