Basic zero-dimensional spaces: a unifying framework for continuity and openness

Abstract

Following a suggestion in a paper by Erné, Picado and Pultr, we establish the category of basic zero-dimensional spaces and their basic continuous maps. The objects are closure spaces with a distributive closure system containing a specified meet-base of complemented members that make the category a common generalization of those of closure spaces, zero-dimensional topological spaces, Heyting semilattices, and locales (frames). We treat images, preimages, continuity, openness and closedness of maps between basic zero-dimensional spaces. Among our main results, we have a useful description of preimages for basic continuous maps (analogous to the one for localic preimage maps as coframe homomorphisms), and a Joyal-Tierney type theorem for basic open maps. A novel aspect of the category of basic zero-dimensional spaces is a duality principle that, among other things, enables results for basic closed maps to be obtained for free from those for basic open maps.