Tenemos un funtor de "olvido" que asigna a cada espacio métrico el conjunto subyacente, y a cada función corta la subyacente función.