Identities among relations for higher-dimensional rewriting systems
From MaRDI portal
Publication:2865984
zbMath1277.18003arXiv0910.4538MaRDI QIDQ2865984
Publication date: 12 December 2013
Full work available at URL: https://arxiv.org/abs/0910.4538
68Q42: Grammars and rewriting systems
18C10: Theories (e.g., algebraic theories), structure, and semantics
55U99: Applied homological algebra and category theory in algebraic topology
Related Items
Higher-dimensional normalisation strategies for acyclicity, Syzygies among reduction operators, Chinese syzygies by insertions, Variations on a theme of homotopy, Polygraphs of finite derivation type