4 papers
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…
The complexity of being monitorable
Riccardo Camerlo, Francesco Dagnino
We study monitorable sets from a topological standpoint. In particular, we use descriptive set theory to describe the complexity of the family of monitorable sets in a countable sp…
Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
We define a (preorder-enriched) category of quantale-valued metric spaces and uniformly continuous maps, with the essential requirement that the quantales are contin…
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…