4 ms·Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories9 points by pizza 1y ago