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