Rewriting in Gray categories with applications to coherence

DOI10.1017/S0960129522000299OpenAlexW3200330456MaRDI QIDQ5877242FDOQ5877242

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

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

zbMATH Keywords

coherencerewritingpolygraphGray category

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Term Rewriting and All That
• Title not available (Why is that?)
• Title not available (Why is that?)
• Frobenius monads and pseudomonoids
• Title not available (Why is that?)
• Cofibrant objects among higher-dimensional categories
• Coherence for tricategories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Limits indexed by category-valued 2-functors
• Word problems and a homological finiteness condition for monoids
• A finiteness condition for rewriting systems
• Formal category theory: Adjointness for 2-categories
• A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
• Higher-dimensional categories with finite derivation type
• Higher-dimensional word problems with applications to equational logic
• Towards an algebraic theory of Boolean circuits.
• Coherence in monoidal track categories
• Coherence in Three-Dimensional Category Theory
• Free products of higher operad algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards 3-dimensional rewriting theory
• Title not available (Why is that?)
• Globular: an online proof assistant for higher-dimensional rewriting
• Data structures for quasistrict higher categories
• Title not available (Why is that?)

Cited In (4)

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

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)