Sea "F": Grp → Grp² sea el funtor que asigna a cada grupo "X" el par ("X", "X") en la categoría producto Group, y "G": Group² → Grp el funtor que asigna a cada par ("Y", "Y") el grupo producto "Y"x"Y".