Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces

Dirk Hofmann, Renato Neves, Pedro Nora

It is known since the late 1960's that the dual of the category of compact Hausdorff spaces and continuous maps is a variety -- not finitary, but bounded by ${\aleph }_1$. In this not…