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

6 pizza 0 7/4/2025, 10:35:20 PM arxiv.org ↗

Comments (0)

No comments yet