2 papers
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…