The following pages link to Algebra and geometry of rewriting (Q2463397):
Displaying 13 items.
- A folk model structure on omega-cat (Q973942) (← links)
- Polygraphic resolutions and homology of monoids (Q1008743) (← links)
- A combinatorial-topological shape category for polygraphs (Q2182786) (← links)
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups (Q2219329) (← links)
- Directed algebraic topology, categories and higher categories (Q2463398) (← links)
- Termination orders for three-dimensional rewriting (Q2504386) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- (Q4012139) (← links)
- Resolutions by Polygraphs (Q4707051) (← links)
- A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)
- Rewriting with Frobenius (Q5145289) (← links)
- Homological computations for term rewriting systems (Q5369492) (← links)
- Geodesic rewriting systems and pregroups (Q5748110) (← links)