Category of bounded metric spaces and non-expansive maps (${\mathbf{Met}}_b$)

The category ${\mathbf{Met}}_b$ is the full subcategory on bounded metric spaces. It has finite products: the terminal space is a singleton and

For bounded metric spaces $X,Y$, let $[X,Y]$ be the set of non-expansive maps and defineWhenever $\bar{d}$ satisfies the triangle inequality, it is a metric and makes $[X,-]$ right adjoint to $-\times X$ in ${\mathbf{Met}}_b$.

A metric space $X$ is interpolating when $d(x,y)=r+s$ implies that some $z$ satisfies $d(x,z)=r$ and $d(z,y)=s$. Interpolation makes the metric exponential candidate satisfy the triangle inequality, so every bounded interpolating metric space is an exponentiable object of ${\mathbf{Met}}_b$.