1 option
Polynomial functors : a mathematical theory of interaction / Nelson Niu, David I. Spivak.
Math/Physics/Astronomy Library QA161.P59 N58 2025
Available
- Format:
- Book
- Author/Creator:
- Niu, Nelson, Author.
- Spivak, David I., 1978- author.
- Series:
- London Mathematical Society lecture note series ; 498.
- London Mathematical Society lecture note series ; 498
- Language:
- English
- Subjects (All):
- Functions.
- Polynomials.
- functions (mathematics).
- Physical Description:
- xix, 467 pages : illustrations ; 23 cm.
- Place of Publication:
- Cambridge, New York, NY : Cambridge University Press, [2025]
- Summary:
- Everywhere one looks, one finds dynamic interacting systems: entities expressing and receiving signals between each other and acting and evolving accordingly over time. In this book, the authors give a new syntax for modeling such systems, describing a mathematical theory of interfaces and the way they connect. The discussion is guided by a rich mathematical structure called the category of polynomial functors. The authors synthesize current knowledge to provide a grounded introduction to the material, starting with set theory and building up to specific cases of category-theoretic concepts such as limits, adjunctions, monoidal products, closures, comonoids, comodules, and bicomodules. The text interleaves rigorous mathematical theory with concrete applications, providing detailed examples illustrated with graphical notation as well as exercises with solutions. Graduate students and scholars from a diverse array of backgrounds will appreciate this common language by which to study interactive systems categorically.
- Contents:
- Part I. The Category of Polynomial Functors
- Representable functors from the category of sets
- Polynomial functors
- The category of polynomial functors
- Dynamical systems as dependent lenses
- More categorical properties of polynomials
- Part II. A Different Category of Categories
- The composition product
- Polynomial comonoids and retrofunctors
- Categorical properties of polynomial comonoids
- Notes:
- Includes bibliographical references (pages 453-459) and index.
- Other Format:
- ebook version :
- ISBN:
- 1009576712
- 9781009576710
- OCLC:
- 1501575366
- Publisher Number:
- CIPO000251891
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.