La formación del grupo opuesto se convierte en un funtor de Grp a Grp si definimos "f" = "f" para cada homomorfismo de grupo "f": "G" → "H".