Uniform continuity of pointfree real functions via farness and related Galois connections

DOI10.1007/s00012-022-00795-0OpenAlexW4300861551MaRDI QIDQ2087398

Ana Belén Avilez, Jorge Picado

Publication date: 20 October 2022

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-022-00795-0

zbMATH Keywords

Galois connectionlocaleframeuniform homomorphismsublocaleuniform frameuniform extensionuniform coverproximally far elementsuniformly continuous real function

Mathematics Subject Classification ID

Frames, locales (06D22) Uniform structures and generalizations (54E15) Real-valued functions in general topology (54C30) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Frames and locales, pointfree topology, Stone duality (18F70)

Related Items (1)

A general insertion theorem for uniform locales

Cites Work

• On the parallel between normality and extremal disconnectedness
• On strong inclusions and asymmetric proximities in frames
• Perfect locales and localic real functions
• A new look at localic interpolation theorems
• In-Between Theorems In Uniform Spaces
• C- and C^*-quotients in pointfree topology
• Separation in Point-Free Topology
• On Real-Valued Functions in Topological Spaces
• Galois Connexions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Uniform continuity of pointfree real functions via farness and related Galois connections