The author studies formal balls in the categories of quasi-metric spaces and \(1\)-Lipschitz maps as morphisms, or with \(1\)-Lipschitz continuous maps as morphisms. It is shown that the formal ball construction \textbf{B} induces monads on these categories. These are actually left Kock-Zöberlein monads. As an application, he studies the so-called Lipschitz regular spaces. This is a class of spaces that contains all standard algebraic quasi-metric spaces with relatively compact balls. The study shows that every space of formal balls is Lipschitz regular, although it fails to have relatively compact balls in general, as can be seen in Remark \(4.8\).
- A computational model for metric spaces
- Continuous Lattices and Domains
- Embedding metric spaces into CPO's
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Monads for which structures are adjoint to units
- Non-Hausdorff topology and domain theory. Selected topics in point-set topology
- Notions of computation and monads
- Properly injective spaces and function spaces
- Strong functors and monoidal monads
- Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains
- Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions
- The monad on strong quasi-metric spaces
- Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces
- Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
- Formal balls of Q-categories
- On presheaf submonads of quantale-enriched categories
- On function spaces related to quasi-metric spaces. I
- Notes on Smyth-completes and local Yoneda-completes
This page was built for publication: Formal ball monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2312469)
