Publication:4282571
From MaRDI portal
zbMath0788.18004MaRDI QIDQ4282571
Publication date: 2 June 1994
2-categories; rewriting systems; combinatorial topology; word problems; \(\infty\)-categories; \(n\)-paths in \(n\)-category
18A10: Graphs, diagram schemes, precategories
08A50: Word problems (aspects of algebraic structures)
Related Items
Optimal reductions in interaction systems, Shuffle polygraphic resolutions for operads, Higher-dimensional word problems with applications to equational logic, A folk model structure on omega-cat, Interaction systems II: The practice of optimal reductions, Unnamed Item