Publication:4707051
From MaRDI portal
zbMath1020.18001MaRDI QIDQ4707051
Publication date: 5 June 2003
Full work available at URL: https://eudml.org/doc/122849
homotopy; resolution; polygraph; \(n\)-category; computad; uniqueness of liftings; rewriting systems in homological algebra
18G10: Resolutions; derived functors (category-theoretic aspects)
Related Items
Hom weak ω-categories of a weak ω-category, Algebraic coherent confluence and higher globular Kleene algebras, A Topological Perspective on Interacting Algebraic Theories, Polygraphs and Discrete Conduch{\'e} $\omega$-Functors, Shuffle polygraphic resolutions for operads, Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids, Higher-dimensional normalisation strategies for acyclicity, A folk model structure on omega-cat, Polygraphic resolutions and homology of monoids, A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof, Homology of categories via polygraphic resolutions, A combinatorial-topological shape category for polygraphs, Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups, Elimination of quotients in various localisations of premodels into models, Algebra and geometry of rewriting, The three dimensions of proofs, Two polygraphic presentations of Petri nets, Intensional Properties of Polygraphs, Polygraphs of finite derivation type