3 papers
math.GN2026
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…
math.LO2026
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…
cs.LO2025
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…