The category-theoretic solution of recursive metric-space equations