On the axiomatisability of the dual of compact ordered spaces
Category Theory
2020-11-19 v3 General Topology
Logic
Rings and Algebras
Abstract
We provide a direct and elementary proof of the fact that the category of Nachbin's compact ordered spaces is dually equivalent to an Aleph_1-ary variety of algebras. Further, we show that Aleph_1 is a sharp bound: compact ordered spaces are not dually equivalent to any SP-class of finitary algebras.
Keywords
Cite
@article{arxiv.1909.01631,
title = {On the axiomatisability of the dual of compact ordered spaces},
author = {Marco Abbadini and Luca Reggio},
journal= {arXiv preprint arXiv:1909.01631},
year = {2020}
}
Comments
10 pages. v3: minor changes. To appear in Applied Categorical Structures