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

(arxiv.org)

9 points | by pizza 2 days ago ago

No comments yet.