and because every set X has an identity function id_X : X -> X which serves as identity element for function composition.

The epimorphisms in Set are the surjective maps, the monomorphisms are the injective maps, and the isomorphisms are the bijective