Identities among relations for higher-dimensional rewriting systems

zbMath1277.18003arXiv0910.4538MaRDI QIDQ2865984

Yves Guiraud, Philippe Malbos

Publication date: 12 December 2013

Full work available at URL: https://arxiv.org/abs/0910.4538

zbMATH Keywords

rewritingpolygraphfinite derivation typeidentities among relationsn-category

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10) Applied homological algebra and category theory in algebraic topology (55U99)

Related Items (5)

Higher-dimensional normalisation strategies for acyclicity ⋮ Variations on a theme of homotopy ⋮ Syzygies among reduction operators ⋮ Chinese syzygies by insertions ⋮ Polygraphs of finite derivation type

This page was built for publication: Identities among relations for higher-dimensional rewriting systems