Rewriting in Gray categories with applications to coherence
From MaRDI portal
(Redirected from Publication:5877242)
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
- 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 Frobenius pseudomonoids and the geometry of linear proofs
- Coherence for tricategories
- Coherence in monoidal track categories
- Coherence in Three-Dimensional Category Theory
- 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
- 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 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?)
- 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
(5)
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)
