Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
431073 | The Journal of Logic and Algebraic Programming | 2008 | 14 Pages |
Abstract
We present a Stone duality for bitopological spaces in analogy to the duality between topological spaces and frames, and discuss the resulting notions of sobriety and spatiality. Under the additional assumption of regularity, we prove a characterisation theorem for subsets of a bisober space that are compact in one and closed in the other topology. This is in analogy to the celebrated Hofmann–Mislove theorem for sober spaces. We link the characterisation to Taylor’s and Escardó’s reading of the Hofmann–Mislove theorem as continuous quantification over a subspace.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics