この資料をSMS送信: Hausdorff and Gromov Distances in Quantale−Enriched Categories