Iterated monodromy groups and dimension | Synapse