Si "F": Set → Grp es el funtor que asigna a cada conjunto "X" el grupo libre sobre "X", y si "G": Grp → Set es el funtor de olvido que asigna a cada grupo su conjunto subyacente, entonces la propiedad universal del grupo libre demuestra que "F" es el adjunto izquierdo de "G".