Is there a scaling-limit theory for groups the way there is for graphs ("graphons") and permutations ("permutons")?
E.g., if we map the uniform measure on the cyclic group $\mathbf{Z}/n\mathbf{Z}$ to uniform measure on the set $\{0/n,1/n,...,(n-1)/n\}$, then we can represent the group law for $\mathbf{Z}/n\mathbf{Z}$ as a discrete measure on $[0,1]^3$ satisfying various group-y properties, and these measures weakly converge to a continuous measure that represents (the graph of) the group law for $\mathbf{R}/\mathbf{Z}$.
Of course the limit objects would have to be called "groupons".