Read news on multiway with our app.
Read more in the app
Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories