Coherence of Gray categories via rewriting

DOI10.4230/LIPICS.FSCD.2018.15MaRDI QIDQ4993341zbMATH OpenOpenAlexFDO

Authors Simon Forest, Samuel Mimram

Publication date 15 June 2021

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

zbMATH Keywords

coherenceGray categorypolygraphprecategorypseudomonoidrewriting

Mathematics Subject Classification ID

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

Recommendations

• Rewriting in Gray categories with applications to coherence
• Coherence in monoidal track categories
• Coherent confluence modulo relations and double groupoids
• A coherence theorem for pseudonatural transformations
• Coherence for tricategories

Cites work

• A coherent approach to pseudomonads
• A finiteness condition for rewriting systems
• Algebraic categories with few monoidal biclosed structures or none
• Coherence for tricategories
• Coherence in Three-Dimensional Category Theory
• Data structures for quasistrict higher categories
• Globular: an online proof assistant for higher-dimensional rewriting
• Higher-dimensional categories with finite derivation type
• Higher-dimensional word problems with applications to equational logic
• scientific article; zbMATH DE number 6679826 (Why is no real title available?)
• scientific article; zbMATH DE number 922680 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Towards 3-dimensional rewriting theory
• Towards an algebraic theory of Boolean circuits.

Cited in

(9)

• Coherence in monoidal track categories
• Coherence in Three-Dimensional Category Theory
• scientific article; zbMATH DE number 7471699 (Why is no real title available?)
• Coherence for bicategorical cartesian closed structure
• Non-unital polygraphs form a presheaf category
• scientific article; zbMATH DE number 7650583 (Why is no real title available?)
• Rewriting in Gray categories with applications to coherence
• A rewriting coherence theorem with applications in homotopy type theory
• Free precategories as presheaf categories

Describes a project that uses

Uses Software

• Globular

This page was built for publication: Coherence of Gray categories via rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4993341)