Polygraphs: from rewriting to higher categories

DOI10.1017/9781009498968MaRDI QIDQ7035825zbMATH OpenFDO

Authors Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram

Publication date 29 January 2025

Published in London Mathematical Society Lecture Note Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/9781009498968

zbMATH Keywords

(none given)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Higher categories and homotopical algebra (18Nxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Grammars and rewriting systems (68Q42)

Cited in

(6)

• Equivalences in diagrammatic sets
• Hom -categories of a computad are free
• -weak equivalences between weak -categories
• Rewriting techniques for relative coherence
• Higher catoids, higher quantales and their correspondences
• An (, 0)-model structure on Eilenberg-Zilber opetopic sets

This page was built for publication: Polygraphs: from rewriting to higher categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7035825)