Categorification, term rewriting and the Knuth-Bendix procedure

DOI10.1016/j.jpaa.2010.06.019zbMath1214.18006OpenAlexW2016862737MaRDI QIDQ626714

Tibor Beke

Publication date: 18 February 2011

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2010.06.019

zbMATH Keywords

term rewritingLawvere theoriesrewrite rule2-theoriesaxioms coherent in the sense of Mac Lanecategorification of equational universal algebrasgraph of terms

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Categorical semantics of formal languages (18C50) Varieties (08B99) Word problems (aspects of algebraic structures) (08A50)

Related Items (1)

Computing with Semirings and Weak Rig Groupoids

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coherence for categories with group structure: An alternative approach
• Higher-dimensional word problems with applications to equational logic
• Kohaerenz in Kategorien mit Gruppenstruktur
• Supercoherence
• A finiteness condition for rewriting systems
• Coherence for associativity not an isomorphism
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Coherence in categorical groups^∗
• Term Rewriting and All That

This page was built for publication: Categorification, term rewriting and the Knuth-Bendix procedure