Cauchy Points of Metric Locales

DOI10.4153/CJM-1989-038-0MaRDI QIDQ4733100zbMATH OpenOpenAlexFDO

Authors Bernhard Banaschewski, A. Pultr

Publication date 1989

Published in Canadian Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4153/cjm-1989-038-0

zbMATH Keywords

metric localecompletion of metric localesframe of open sublocalesreal-valued diameter functiontotally bounded metric locales

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Categorical methods in general topology (54B30) Complete metric spaces (54E50) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• scientific article; zbMATH DE number 2222240
• Localic completion of generalized metric spaces. II: Powerlocales
• scientific article; zbMATH DE number 817466
• Constructive metrisability in point-free topology.
• Localic completion of uniform spaces

Cited in

(11)

• scientific article; zbMATH DE number 817466 (Why is no real title available?)
• scientific article; zbMATH DE number 2222240 (Why is no real title available?)
• Paracompactness revisited
• Local metrically generated theories
• Metric complements of overt closed sets
• Localic completion of uniform spaces
• Universal categories of uniform and metric locales
• scientific article; zbMATH DE number 2156379 (Why is no real title available?)
• Constructive metrisability in point-free topology.
• Localic completion of generalized metric spaces. II: Powerlocales
• CAUCHY POINTS OF UNIFORM AND NEARNESS FRAMES

This page was built for publication: Cauchy Points of Metric Locales

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