Hacker News
new
|
ask
|
show
|
jobs
Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories
(arxiv.org)
8 points
by
pizza
2 days ago
|
discuss
