Rewriting in Gray categories with applications to coherence

DOI10.1017/S0960129522000299MaRDI QIDQ5877242zbMATH OpenOpenAlexFDO

Authors Simon Forest, Samuel Mimram

Publication date 10 February 2023

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

coherencerewritingpolygraphGray category

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Coherence of Gray categories via rewriting
• Generalized rewrite theories and coherence completion
• A rewriting coherence theorem with applications in homotopy type theory
• Coherence completions of categories
• Generalized rewrite theories, coherence completion, and symbolic methods
• Categorical rewriting of term-like structures
• Coherence in Cartesian closed categories and the generality of proofs
• Coherence of proof-net categories
• Computational Category-Theoretic Rewriting
• Computational category-theoretic rewriting

Cites work

• scientific article; zbMATH DE number 6679826 (Why is no real title available?)
• scientific article; zbMATH DE number 1303765 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 922680 (Why is no real title available?)
• scientific article; zbMATH DE number 7471699 (Why is no real title available?)
• scientific article; zbMATH DE number 7089066 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• scientific article; zbMATH DE number 2222246 (Why is no real title available?)
• A finiteness condition for rewriting systems
• A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
• Cofibrant objects among higher-dimensional categories
• Coherence for tricategories
• Coherence in Three-Dimensional Category Theory
• Coherence in monoidal track categories
• Data structures for quasistrict higher categories
• Formal category theory: Adjointness for 2-categories
• Free products of higher operad algebras
• Frobenius monads and pseudomonoids
• 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
• Limits indexed by category-valued 2-functors
• Term Rewriting and All That
• Towards 3-dimensional rewriting theory
• Towards an algebraic theory of Boolean circuits.
• Word problems and a homological finiteness condition for monoids

Cited in

(4)

• Coherence for adjunctions in a 3-category via string diagrams
• Coherence of Gray categories via rewriting
• Free precategories as presheaf categories
• A coherence theorem for pseudonatural transformations

Describes a project that uses

Uses Software

• Globular

This page was built for publication: Rewriting in Gray categories with applications to coherence

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