Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories

No comments yet.