Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories(arxiv.org)
9 points by pizza 2 days ago | discuss