scientific article; zbMATH DE number 1924513

zbMath1020.18001MaRDI QIDQ4707051

François Métayer

Publication date: 5 June 2003

Full work available at URL: https://eudml.org/doc/122849

File on IPFS

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

homotopyresolutionpolygraph\(n\)-categorycomputaduniqueness of liftingsrewriting systems in homological algebra

Mathematics Subject Classification ID

Resolutions; derived functors (category-theoretic aspects) (18G10)

Related Items (21)

Hom weak ω-categories of a weak ω-category ⋮ Algebraic coherent confluence and higher globular Kleene algebras ⋮ Elimination of quotients in various localisations of premodels into models ⋮ A combinatorial-topological shape category for polygraphs ⋮ Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids ⋮ A Topological Perspective on Interacting Algebraic Theories ⋮ Shuffle polygraphic resolutions for operads ⋮ What is an equivalence in a higher category? ⋮ A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof ⋮ Higher-dimensional normalisation strategies for acyclicity ⋮ Unnamed Item ⋮ Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups ⋮ Algebra and geometry of rewriting ⋮ A folk model structure on omega-cat ⋮ The three dimensions of proofs ⋮ Two polygraphic presentations of Petri nets ⋮ Homology of categories via polygraphic resolutions ⋮ Polygraphic resolutions and homology of monoids ⋮ Polygraphs and Discrete Conduch{\'e} $\omega$-Functors ⋮ Polygraphs of finite derivation type ⋮ Intensional Properties of Polygraphs

This page was built for publication: