Cauchy Points of Metric Locales

DOI10.4153/CJM-1989-038-0zbMath0683.54034OpenAlexW2333767963MaRDI QIDQ4733100

Bernhard Banaschewski, Ales 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

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

Related Items (4)

Unnamed Item ⋮ Universal categories of uniform and metric locales ⋮ CAUCHY POINTS OF UNIFORM AND NEARNESS FRAMES ⋮ Paracompactness revisited

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