A metric space (X,d)(X,d) can be viewed as a category enriched over the non-negative reals (with ∞\infty), where the objects are points and the hom-objects are distances. Functors correspond to ...