Recommendations
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
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)
