General insertion and extension theorems for localic real functions

DOI10.1016/j.jpaa.2010.08.004zbMath1217.06003MaRDI QIDQ531326

Javier Gutiérrez García, Tomasz Kubiak

Publication date: 29 April 2011

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2010.08.004

zbMATH Keywords

completely separated sublocales; Katětov relation; locale of reals; localic extension theorem; localic insertion theorem; localic map; localic real function

Mathematics Subject Classification ID

06D22: Frames, locales

54C20: Extension of maps

54C45: (C)- and (C^*)-embedding

54C30: Real-valued functions in general topology

Related Items

A lattice-theoretic approach to arbitrary real functions on frames, Normal semicontinuity and the Dedekind completion of pointfree function rings, On the parallel between normality and extremal disconnectedness, Continuous extensions of real functions on arbitrary sublocales and \(C\)-, \(C^\ast\)-, and \(z\)-embeddings, On classes of localic maps defined by their behavior on zero sublocales, A general insertion theorem for uniform locales

Cites Work

• Stone-Čech compactification of locales. II
• Insertion of lattice-valued and hedgehog-valued functions
• On the algebraic representation of semicontinuity
• Pointfree forms of Dowker's and Michael's insertion theorems
• Localic real functions: A general setting
• The connected Vietoris powerlocale
• Completely normal frames and real-valued functions
• Lower and upper regularizations of frame semicontinuous real functions
• Monotone insertion and monotone extension of frame homomorphisms
• Compactification of Frames
• Insertion, Approximation, and Extension of Real-Valued Functions
• An extension of the Galois theory of Grothendieck
• C- and C^*-quotients in pointfree topology
• Quotient Frames and Subspaces
• A Sufficient Condition for the Insertion of a Continuous Function
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item