Let $X$ be a compact metric space, and let $Y$ be another metric space.

I am looking for **examples of, and especially references to, theorems** that give conditions under which any continuous mapping $f:X\rightarrow Y$ can be arbitrarily well-approximated in the **uniform (supremum) distance** by Lipschitz mappings $g:X\rightarrow Y$.

If $Y=\mathbb{R}$, then this is answered positively by the Stone-Weierstrass Theorem. (Note that real-valued Lipschitz functions always separate points in a metric space.)

By applying this to the coordinate functions, we get a positive answer as well in the case where $Y=\mathbb{R}^n$ or even some infinite-dimensional Banach spaces like $\ell^p$.

On the other hand, it is easy to come up with pairs of spaces with many continuous maps between them but no non-trivial Lipschitz maps. For example, take $X=[0,1]\subseteq\mathbb{R}$ and $Y=\mathbb{R}$, but where $Y$ is equipped with the metric $$ d_Y(p,q) = |p-q|^{1/2}.$$ In this case there are of course many continuous maps from $X$ to $Y$, but every Lipschitz map must be constant.

Are there any references to general theorems that say something positive in the case where, for example, $Y$ is **not** a Banach space?