The monad on strong quasi-metric spaces

DOI10.1016/J.TCS.2022.02.022MaRDI QIDQ2120964zbMATH OpenOpenAlexFDO

Authors Jing Lu

Publication date 1 April 2022

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2022.02.022

zbMATH Keywords

\(Y\)-continuous mapmonadquasi-metric spacestrong quasi-metric space

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Metric spaces, metrizability (54E35)

Recommendations

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

Cites work

• A computational model for metric spaces
• A few notes on formal balls
• Continuous Lattices and Domains
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• Embedding metric spaces into CPO's
• Formal ball monads
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 2222240 (Why is no real title available?)
• Metric spaces, generalized logic, and closed categories
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On the Yoneda completion of a quasi-metric space
• Properly injective spaces and function spaces
• The formal ball model for \(\mathcal Q\)-categories
• Yoneda completion via a dcpo completion of its poset of formal balls

Cited in

(6)

• Constructing a quasi-uniform function space
• Formal ball monads
• The formal ball model for \(\mathcal Q\)-categories
• scientific article; zbMATH DE number 1992718 (Why is no real title available?)
• Metric monads
• Quasi-metrics and monotone normality

This page was built for publication: The monad on strong quasi-metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2120964)