From Haar to Lebesgue via Domain Theory, Revised version

Will Brian, Michael Mislove

If $\mathcal{C}\simeq 2^{\mathbb{N}}$ denotes the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from $\mathcal{C}$ in…