> the emergence of the beta rewrite in lambda calculus from the shuffle rewrite and relations to the commutativity of the addition of vectors in the tangent space of a manifold (https://mbuliga.github.io/novo/presentation.html)
piques my interest; can you recommend any presentations of this work that might be suitable to someone without a background in knot theory?
Hi thanks for the interest, for the pure algebraic part a good entry is this (and references therein) 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.
piques my interest; can you recommend any presentations of this work that might be suitable to someone without a background in knot theory?