Many fundamental mathematical structures, such as the rationals or the random graph, are homogeneous, meaning that local isomorphisms extend to global automorphisms. Such structures arise as limits of classes of finite ...