Comment Comment by autopoiesis Metric spaces are enriched categories. They are enriched over the positive reals. The 'hom' between a pair of points is then simply a number: their distance. parent autopoiesis 3 years ago