Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad

Francesco Dagnino, Amin Farjudian, Eugenio Moggi

Generalized metric spaces are obtained by weakening the requirements (e.g., symmetry) on the distance function and by allowing it to take values in structures (e.g., quantales) tha…