Metrization of Quasi-Uniformities, Powerset Monads, and Qualitative Robustness Analysis

Francesco Dagnino, Amin Farjudian, Eugenio Moggi

We study the relationship between quasi-uniform spaces, topological spaces, and quantale-valued metric spaces. Our main result is a metrization theorem establishing an equivalence…