Formal ball monads

DOI10.1016/J.TOPOL.2019.06.044MaRDI QIDQ2312469zbMATH OpenOpenAlexWikidataFDO

Authors Jean Goubault-Larrecq

Publication date 17 July 2019

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2019.06.044

zbMATH Keywords

quasi-metricformal balls\(d\)-Scott topologyKock-Zöberlein monad

Mathematics Subject Classification ID

Topological spaces with richer structures (54E99)

Recommendations

• The monad on strong quasi-metric spaces
• A few notes on formal balls
• Formal balls of Q-categories
• The formal ball model for \(\mathcal Q\)-categories
• The space of formal balls and models of quasi-metric spaces

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)