En el ejemplo de los grupos, dichos morfismos son los homomorfismos de grupos.