Coherence of Gray Categories via Rewriting

DOI10.4230/LIPIcs.FSCD.2018.15zbMath1462.68095OpenAlexW2887090517MaRDI QIDQ4993341

Simon Forest, Samuel Mimram

Publication date: 15 June 2021

Full work available at URL: https://hal.science/hal-01778407

zbMATH Keywords

coherencerewritingpolygraphpseudomonoidGray categoryprecategory

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)

Related Items (5)

Coherence for bicategorical cartesian closed structure ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Non-unital polygraphs form a presheaf category ⋮ A rewriting coherence theorem with applications in homotopy type theory

Uses Software

• Globular

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Higher-dimensional word problems with applications to equational logic
• Algebraic categories with few monoidal biclosed structures or none
• A finiteness condition for rewriting systems
• Towards an algebraic theory of Boolean circuits.
• A coherent approach to pseudomonads
• Higher-dimensional categories with finite derivation type
• Coherence for tricategories
• Coherence in Three-Dimensional Category Theory
• Data structures for quasistrict higher categories
• Towards 3-Dimensional Rewriting Theory

This page was built for publication: Coherence of Gray Categories via Rewriting