Formal ball monads

DOI10.1016/J.TOPOL.2019.06.044zbMATH Open1447.54027OpenAlexW2952920151WikidataQ127660168 ScholiaQ127660168MaRDI QIDQ2312469FDOQ2312469

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Topological spaces with richer structures (54E99)

Cites Work

• A computational model for metric spaces
• Continuous Lattices and Domains
• Notions of computation and monads
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Properly injective spaces and function spaces
• Monads for which structures are adjoint to units
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Strong functors and monoidal monads
• Embedding metric spaces into CPO's

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)