A study of localic subspaces, separation, and variants of normality and their duals

Resumen

As in classical topology, in localic topology one often needs to restrict to locales satisfyinga certain degree of separation. In fact, the study of separation in the category of localesconstitutes a non-trivial and important piece of the theory. For instance, it is sometimesimpossible to give an exact counterpart of a classical axiom, while other times a singleproperty for spaces yields multiple non-equivalent localic versions.The main goal of this thesis is to investigate several classes of separated locales and theirconnections with different classes of sublocales, that is, the regular subobjects in the categoryof locales.In particular, we introduce a new diagonal separation and show that it is, in a certainsense, dual to Isbell¿s (strong) Hausdorff property. The duality between suplattices andpreframes, and that between normality and extremal disconnectedness, turn out to be ofspecial interest in this context.Regarding higher separation, we introduce cardinal generalizations of normality andtheir duals (e.g., properties concerning extensions of disjoint families of cozero elements),and give characterizations via suitable insertion or extension results.The lower separation property known as the TD-axiom, also plays an important role inthe thesis. Namely, we investigate the TD-duality between the category of TD-spaces and acertain (non-full) subcategory of the category of locales, identifying the regular subobjects inthe localic side, and provide several applications in point-free topology