On the axiomatisability of the dual of compact ordered spaces

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.Comment: 10 pages. v3: minor changes. To appear in Applied Categorical Structure

    Similar works