The following pages link to Resolutions by Polygraphs (Q4707051):
Displaying 26 items.
- Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids (Q392224) (← links)
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
- Termination orders for 3-polygraphs (Q817890) (← links)
- A folk model structure on omega-cat (Q973942) (← links)
- Polygraphic resolutions and homology of monoids (Q1008743) (← links)
- A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof (Q1705469) (← links)
- Homology of categories via polygraphic resolutions (Q2031557) (← links)
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- A combinatorial-topological shape category for polygraphs (Q2182786) (← links)
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups (Q2219329) (← links)
- Elimination of quotients in various localisations of premodels into models (Q2413124) (← links)
- Algebra and geometry of rewriting (Q2463397) (← links)
- The three dimensions of proofs (Q2498912) (← links)
- Two polygraphic presentations of Petri nets (Q2503322) (← links)
- In search of the magic lasso: the truth about the polygraph (Q2503982) (← links)
- Identities among relations for higher-dimensional rewriting systems (Q2865984) (← links)
- Intensional properties of polygraphs (Q2870314) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)
- Hom weak ω-categories of a weak ω-category (Q5058363) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Polygraphs and Discrete Conduch{\'e} $\omega$-Functors (Q5149951) (← links)
- Shuffle polygraphic resolutions for operads (Q6134654) (← links)
- What is an equivalence in a higher category? (Q6188124) (← links)
- Polygraphic homology of local systems (Q6547689) (← links)
- Tangent complexes and the Diamond Lemma (Q6660257) (← links)
