The following pages link to (Q4707051):
Displayed 19 items.
- Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids (Q392224) (← links)
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← 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)
- 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)
- 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)