Ordered locales
Year: 2024
Type: article
Abstract: We extend the Stone duality between topological spaces and locales to include order: there is an adjunction between the category of preordered topological spaces satisfying the so-called open cone condition, and the newly defined category of ordered locales. The adjunction restricts to an equivalence of categories between spatial ordered locales and sober T0-ordered spaces with open cones.
Authors: Chris Heunen, Nesta van der Schaaf
Institution: University of Edinburgh
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,330
OpenAlex ID: W4392562925