Rewriting techniques for relative coherence
From MaRDI portal
Cites work
- 2-Dimensional Categories
- A coherence theorem for canonical morphisms in Cartesian closed categories
- A coherence theorem for pseudonatural transformations
- A finiteness condition for rewriting systems
- A folk model structure on omega-cat
- A general coherence result
- A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
- A Quillen model structure for 2-categories
- A rewriting coherence theorem with applications in homotopy type theory
- An abstract formulation for rewrite systems
- Braided tensor categories
- Categorical coherence from term rewriting systems
- Categorification, term rewriting and the Knuth-Bendix procedure
- Codescent objects and coherence
- Coherence and non-commutative diagrams in closed categories
- Coherence for bicategorical cartesian closed structure
- Coherence for compact closed categories
- Coherence for tricategories
- Coherence in closed categories
- Coherence in monoidal track categories
- Coherence in Three-Dimensional Category Theory
- Coherent presentations of Artin monoids
- Coherent presentations of monoidal categories
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Flat vs. filtered colimits in the enriched context
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Higher-dimensional word problems with applications to equational logic
- Homological computations for term rewriting systems
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 1375542 (Why is no real title available?)
- scientific article; zbMATH DE number 3574107 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1373521 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- scientific article; zbMATH DE number 3316072 (Why is no real title available?)
- scientific article; zbMATH DE number 3384258 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- scientific article; zbMATH DE number 3385869 (Why is no real title available?)
- Limits indexed by category-valued 2-functors
- Natural deduction and coherence for weakly distributive categories
- Not every pseudoalgebra is equivalent to a strict one
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- On theories with a combinatorial definition of 'equivalence'
- Polygraphs of finite derivation type
- Polygraphs: from rewriting to higher categories
- Presenting a Category Modulo a Rewriting System
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
- String diagram rewrite theory III: Confluence with and without Frobenius
- String diagram rewrite theory. I: Rewriting with Frobenius structure
- Term Rewriting and All That
- The structure of free closed categories
- The syntax of coherence
- Tortile tensor categories
- Towards an algebraic theory of Boolean circuits.
- Über die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten.
This page was built for publication: Rewriting techniques for relative coherence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6925630)
