Considere la categoría Grp de todos los grupos con homomorfismos de grupo como morfismos.