On the axiomatisability of the dual of compact ordered spaces
arXiv:1909.01631 · doi:10.1007/s10485-020-09604-y
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.
10 pages. v3: minor changes. To appear in Applied Categorical Structures