Some Aspects of (Non) functoriality of Natural Discrete Covers of Locales

Publication Date

8-7-2019

Document Type

Article

Organizational Units

College of Natural Science and Mathematics, Mathematics

Keywords

Frame, Locale, Sublocale, Sublocale lattice, Essential extension, Subfit, Booleanization

Abstract

The frame Sc(L) generated by closed sublocales of a locale L is known to be a natural Boolean (“discrete”) extension of a subfit L; also it is known to be its maximal essential extension. In this paper we first show that it is an essential extension of any L and that the maximal essential extensions of L and Sc(L) are isomorphic. The construction Sc is not functorial; this leads to the question of individual liftings of homomorphisms LM to homomorphisms Sc(L) → Sc(M). This is trivial for Boolean L and easy for a wide class of spatial L, M . Then, we show that one can lift all h : L2 for weakly Hausdorff L (and hence the spectra of L and Sc(L) are naturally isomorphic), and finally present liftings of h : LM for regular L and arbitrary Boolean M.

Publication Statement

Copyright held by author or publisher. User is responsible for all copyright compliance.

This document is currently not available here.

Share

COinS