Homotopies in Multiway (Non-Deterministic) Rewriting Systems as $n$-Fold Categories

Xerxes D. Arsiwalla, Jonathan Gorard, Hatem Elshatlawy

We investigate algebraic and compositional properties of abstract multiway rewriting systems, which are archetypical structures underlying the formalism of the Wolfram model. We de…