What one person finds surprising another person won't, but:
The category of compact Hausdorff spaces and continuous maps is equivalent to the category of models of an (infinitary) algebraic theory, i.e., a theory given by operations and universally quantified equations. (This theory is unbounded in rank, i.e., there is a proper class of operations that need to be specified.)
