Author:Jorge Picado

Publications
Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions Jorge Picado and Javier Gutiérrez García In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic

Keyphrases

completely separated sublocales, continuous extension, continuous real function, extremally disconnected frame, frame and locale, Katetov relation, normal continuous real function, normal frame, pointfree topology, regular continuous real function, semicontinuous real function, sublocale lattice, zero continuous real function.