發送短信: Hausdorff and Gromov Distances in Quantale−Enriched Categories