Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- Part I The category of polynomial functors
- 1 Representable functors from the category of sets
- 2 Polynomial functors
- 3 The category of polynomial functors
- 4 Dynamical systems as dependent lenses
- 5 More categorical properties of polynomials
- Part II A different category of categories
- References
- Index
5 - More categorical properties of polynomials
from Part I - The category of polynomial functors
Published online by Cambridge University Press: 27 September 2025
Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- Part I The category of polynomial functors
- 1 Representable functors from the category of sets
- 2 Polynomial functors
- 3 The category of polynomial functors
- 4 Dynamical systems as dependent lenses
- 5 More categorical properties of polynomials
- Part II A different category of categories
- References
- Index
Summary
We describe a range of additional category-theoretic structures on the category of polynomial functors. These include concepts like adjunctions, epi-mono factorizations, and cartesian closure. We also cover limits and colimits of polynomials and explore vertical-cartesian factorizations of morphisms. The chapter highlights how these structures provide new tools for working with polynomial functors and extend their usefulness in modeling various types of interactions and constructions.
Keywords
Information
- Type
- Chapter
- Information
- Polynomial FunctorsA Mathematical Theory of Interaction, pp. 185 - 230Publisher: Cambridge University PressPrint publication year: 2025
Accessibility standard: Unknown
Accessibility compliance for the PDF of this book is currently unknown
and may be updated in the future.