• Corpus ID: 246240992

Stone Duality for Topological Convexity Spaces

@inproceedings{Kenney2022StoneDF,
  title={Stone Duality for Topological Convexity Spaces},
  author={Toby Kenney},
  year={2022}
}
A convexity space is a set X with a chosen family of subsets (called convex subsets) that is closed under arbitrary intersections and directed unions. There is a lot of interest in spaces that have both a convexity space and a topological space structure. In this paper, we study the category of topological convexity spaces and extend the Stone duality between coframes and topological spaces to an adjunction between topological convexity spaces and sup-lattices. We factor this adjunction through… 

References

SHOWING 1-10 OF 16 REFERENCES
A selection theorem for topological convex structures
A continuous selection theorem has been obtained for multivalued functions, the values of which are convex sets of certain synthetic convex structures. Applications are given related with
Axiomatic convexity theory and relationships between the Carathéodory, Helly, and Radon numbers
An axiomatic setting for the theory of convexity is provided by taking an arbitrary set X and constructing a family ^ of subsets of X which is closed under intersections. The pair consisting of any
BIFRAMES AND BISPACES
Abstract The concept of a biframe is introduced. Then the known dual adjunction between topological spaces and frames (i.e. local lattices) is extended to one between bispaces (i.e. bitopological
THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS
  • D. Ellerman
  • Philosophy, Mathematics
    The Review of Symbolic Logic
  • 2010
TLDR
This paper is an introduction to that logic of partitions dual to classical subset logic, which goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic.
PARTIAL-SUP LATTICES
The study of sup lattices teaches us the important distinction between the algebraic part of the structure (in this case suprema) and the coincidental part of the structure (in this case inma).
The theory of representations for Boolean algebras
Boolean algebras are those mathematical systems first developed by George Boole in the treatment of logic by symbolic methodsf and since extensively investigated by other students of logic, including
Strictly Zero-Dimensional Biframes and a Characterisation of Congruence Frames
TLDR
The category of strictly zero-dimensional biframes is considered and it is shown to be both complete and cocomplete, and the extremal epimorphisms in this category are characterised.
CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES
© Andrée C. Ehresmann et les auteurs, 1971, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les
Separation Axioms Between T0 and T1
...
...