Hi thanks for the interest, for the pure algebraic part a good entry is this (and references therein) https://arxiv.org/abs/2110.08178 https://arxiv.org/abs/211

Hi thanks for the interest, for the pure algebraic part a good entry is this (and references therein) https://arxiv.org/abs/2110.08178 https://arxiv.org/abs/2110.08178 The emergence of the beta rewrite is explained if you try to decorate the graphs from the first figure in the "Emergent rewrites", according to the dictionary in the first section, then you pass to the limit. To see why is that a beta rewrite you have to go to the parent page of Pure See and look for the first article listed there.