Book contents
- Frontmatter
- Contents
- Preface
- Part I Fundamentals Of Rewriting
- Part II Coherent Presentations
- Part III Diagram Rewriting
- Part IV Polygraphs
- 14 Higher Categories
- 15 Polygraphs
- 16 Properties of the Category of n-Polygraphs
- 17 A Catalogue of n-Polygraphs
- 18 Generalized Polygraphs
- Part V Homotopy Theory of Polygraphs
- Appendices
- References
- Index of Symbols
- Subject Index
18 - Generalized Polygraphs
from Part IV - Polygraphs
Published online by Cambridge University Press: 18 March 2025
Book contents
- Frontmatter
- Contents
- Preface
- Part I Fundamentals Of Rewriting
- Part II Coherent Presentations
- Part III Diagram Rewriting
- Part IV Polygraphs
- 14 Higher Categories
- 15 Polygraphs
- 16 Properties of the Category of n-Polygraphs
- 17 A Catalogue of n-Polygraphs
- 18 Generalized Polygraphs
- Part V Homotopy Theory of Polygraphs
- Appendices
- References
- Index of Symbols
- Subject Index
Summary
The notion of polygraph introduced so far is a particular case of a general construction due to Batanin. In fact, any finitary monad on globular sets yields a appropriate notion of polygraph. The original motivation was the study of weak ω-categories seen as algebras of such a monad. Another example, of particular relevance to this book, is the case of linear polygraphs presented in the last section.
- Type
- Chapter
- Information
- Polygraphs: From Rewriting to Higher Categories , pp. 367 - 378Publisher: Cambridge University PressPrint publication year: 2025