Cauchy Points of Metric Locales

DOI10.4153/CJM-1989-038-0zbMATH Open0683.54034OpenAlexW2333767963MaRDI QIDQ4733100FDOQ4733100

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

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

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)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Paracompactness revisited
• Localic completion of uniform spaces
• Local metrically generated theories
• Metric complements of overt closed sets
• Universal categories of uniform and metric locales
• Title not available (Why is that?)
• 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)