Unicoherence in Locales
Published: Oct 28, 2025
Last Updated: Oct 28, 2025
Authors:Elena Caviglia, Luca Mesiti, Cerene Rathilal
Abstract
In this paper, we generalize the concept of unicoherence to the context of frames. Unicoherence, originally introduced by Kuratowski, is a connectedness property that is well studied in classical topology and used to detect holes of a space. We extend the notion of unicoherence to locales and we then investigate its properties. In particular, we prove that many of the known characterizations of unicoherence for topological spaces extend to the setting of locales. Some of these characterizations interestingly involve separation properties for locales.