Approximation, solution operators and quantale-valued metrics