All Questions

In the formalism of Lawvere metric spaces, we have that the distance in the hom-space $[X,Y]$ is given by: $$ d(f,g) = \sup_{x\in X} d(f(x),g(x)) . $$ Therefore, a sequence of functions $f_n:X\to Y$ ...