La categoría Met tiene los espacios métricos como objetos y funciones cortas como morfismos.