General insertion and extension theorems for localic real functions
From MaRDI portal
Publication:531326
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
completely separated sublocales; Katětov relation; locale of reals; localic extension theorem; localic insertion theorem; localic map; localic real function
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