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
21 - The Folk Model Structure
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
This chapter is about proving the existence of the so-called folk model category structure on ω-categories, following Lafont, Métayer, and Worytkiewicz. This model category structure is a generalization of a model category structure on Cat whose weak equivalences are the equivalences of categories, a folklore result, hence the name. The analogous result for 2-categories was proved by Lack. The folk model category structure is a model category structure on ω-categories whose weak equivalences are the ω-equivalences and whose cofibrant resolutions are the polygraphic resolutions. It is the natural homotopical framework in which the notion of polygraphic resolutions lives. As convincing evidence of this, Métayer’s polygraphic homology can be expressed as a derived functor with respect to the folk model category structure.
- Type
- Chapter
- Information
- Polygraphs: From Rewriting to Higher Categories , pp. 426 - 439Publisher: Cambridge University PressPrint publication year: 2025