Book contents
- Frontmatter
- Contents
- Preface
- Part I Fundamentals Of Rewriting
- Part II Coherent Presentations
- Part III Diagram Rewriting
- Part IV Polygraphs
- Part V Homotopy Theory of Polygraphs
- 19 Polygraphic Resolutions
- 20 Toward the Folk Model Structure: ω-Equivalences
- 21 The Folk Model Structure
- 22 Homology of ω-Categories
- 23 Resolutions by (ω, 1)-Polygraphs
- Appendices
- References
- Index of Symbols
- Subject Index
19 - Polygraphic Resolutions
from Part V - Homotopy Theory of Polygraphs
Published online by Cambridge University Press: 18 March 2025
- Frontmatter
- Contents
- Preface
- Part I Fundamentals Of Rewriting
- Part II Coherent Presentations
- Part III Diagram Rewriting
- Part IV Polygraphs
- Part V Homotopy Theory of Polygraphs
- 19 Polygraphic Resolutions
- 20 Toward the Folk Model Structure: ω-Equivalences
- 21 The Folk Model Structure
- 22 Homology of ω-Categories
- 23 Resolutions by (ω, 1)-Polygraphs
- Appendices
- References
- Index of Symbols
- Subject Index
Summary
The purpose of this chapter is to introduce the notion of a polygraphic resolution of an ω-category. This notion was introduced by Métayer to define a homology theory for ω-categories, that is now known as the polygraphic homology. It was then showed by himself and Lafont that this homology recovers the classical homology of monoids for ω-categories coming from monoids. It is now known by work of Lafont, Métayer, and Worytkiewicz that these polygraphic resolutions are resolutions in the sense of a model category structure on ω-categories, the so-called folk model structure. Every ω-category is shown to admit such a resolution, and the relationship between two resolutions of the same ω-category is examined.
- Type
- Chapter
- Information
- Polygraphs: From Rewriting to Higher Categories , pp. 381 - 391Publisher: Cambridge University PressPrint publication year: 2025