A combinatorial model for the Menger curve

We represent the universal Menger curve as the topological realization |M| of the projective Fraïssé limit M of the class of all finite connected graphs. We show that M satisfies combinatorial analogues of the Mayer–Oversteegen–Tymchatyn homogeneity theorem and the Anderson–Wilson projective universality theorem. Our arguments involve only 0-dimensional topology and constructions on finite graphs. Using the topological realization M↦|M|, we transfer some of these properties to the Menger curve: we prove the approximate projective homogeneity theorem, recover Anderson's finite homogeneity theorem, and prove a variant of Anderson–Wilson's theorem. The finite homogeneity theorem is the first instance of an "injective" homogeneity theorem being proved using the projective Fraïssé method. We indicate how our approach to the Menger curve may extend to higher dimensions.