Formal ball monads
From MaRDI portal
Publication:2312469
Recommendations
Cites work
- 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
Cited in
(8)- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
- The monad on strong quasi-metric spaces
- Formal balls of Q-categories
- On presheaf submonads of quantale-enriched categories
- Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains
- Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions
- 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
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)