Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
173 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

MacNeille completions of subordination algebras (2211.02974v2)

Published 5 Nov 2022 in math.GN and math.LO

Abstract: $\mathsf{S5}$-subordination algebras are a natural generalization of de Vries algebras. Recently it was proved that the category $\mathsf{SubS5S}$ of $\mathsf{S5}$-subordination algebras and compatible subordination relations between them is equivalent to the category of compact Hausdorff spaces and closed relations. We generalize MacNeille completions of boolean algebras to the setting of $\mathsf{S5}$-subordination algebras, and utilize the relational nature of the morphisms in $\mathsf{SubS5S}$ to prove that the MacNeille completion functor establishes an equivalence between $\mathsf{SubS5S}$ and its full subcategory consisting of de Vries algebras. We also show that the functor that associates to each $\mathsf{S5}$-subordination algebra the frame of its round ideals establishes a dual equivalence between $\mathsf{SubS5S}$ and the category of compact regular frames and preframe homomorphisms. Our results are choice-free and provide further insight into Stone-like dualities for compact Hausdorff spaces with various morphisms between them. In particular, we show how they restrict to the wide subcategories of $\mathsf{SubS5S}$ corresponding to continuous relations and continuous functions between compact Hausdorff spaces.

Citations (2)

Summary

We haven't generated a summary for this paper yet.