Unicoherence in Locales
Year: 2025
Type: preprint
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.
Source: arXiv (Cornell University)
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7102406120
Cites:
Cited by:
Related to: