Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories July 4, 2025 by kamal Comments