Towards 3-Dimensional Rewriting Theory

DOI10.2168/LMCS-10(2:1)2014zbMath1314.68172arXiv1403.4094MaRDI QIDQ5417740

Samuel Mimram

Publication date: 22 May 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

presentationunificationpolygraphstring diagramcritical paircompact 2-categoryhigher-dimensional rewriting system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Monads, partial evaluations, and rewriting, String diagram rewrite theory II: Rewriting with symmetric monoidal structure, Algebraic coherent confluence and higher globular Kleene algebras, String Diagram Rewrite Theory I: Rewriting with Frobenius Structure, Unnamed Item, A Topological Perspective on Interacting Algebraic Theories, Unnamed Item, Unnamed Item, Confluence of Graph Rewriting with Interfaces, Unnamed Item, Coherence of Gray Categories via Rewriting, Directed Homotopy in Non-Positively Curved Spaces, Rewriting in Gray categories with applications to coherence, String diagram rewrite theory III: Confluence with and without Frobenius, A rewriting coherence theorem with applications in homotopy type theory