Book contents
- Frontmatter
- Contents
- Preface
- Part I Fundamentals Of Rewriting
- Part II Coherent Presentations
- Part III Diagram Rewriting
- 10 Three-Dimensional Polygraphs
- 11 Termination of 3-Polygraphs
- 12 Coherent Presentations of 2-Categories
- 13 Term Rewriting Systems
- Part IV Polygraphs
- Part V Homotopy Theory of Polygraphs
- Appendices
- References
- Index of Symbols
- Subject Index
12 - Coherent Presentations of 2-Categories
from Part III - Diagram Rewriting
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
- 10 Three-Dimensional Polygraphs
- 11 Termination of 3-Polygraphs
- 12 Coherent Presentations of 2-Categories
- 13 Term Rewriting Systems
- Part IV Polygraphs
- Part V Homotopy Theory of Polygraphs
- Appendices
- References
- Index of Symbols
- Subject Index
Summary

- Type
- Chapter
- Information
- Polygraphs: From Rewriting to Higher Categories , pp. 249 - 274Publisher: Cambridge University PressPrint publication year: 2025