HN
New
Show
Ask
Jobs
Built with Qwik
Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories
(arxiv.org)
9 points | by
pizza
2 days ago ago
No comments yet.
No comments yet.