The notion of morphism of semi-groups is similar: the condition about e is dropped, of course.
An isomorphism M -> M (that is, with both domain and target monoid the same) is called an automorphism of M.
Notions like morphisms, isomorphisms, and automorphisms exist for all structures. We shall encounter them again when we discuss rings, groups, and fields.