
Polynomial Functors
A Mathematical Theory of Interaction
Series: London Mathematical Society Lecture Note Series; 498;
- Publisher's listprice GBP 75.00
-
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 10% (cc. 3 796 Ft off)
- Discounted price 34 162 Ft (32 535 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
37 957 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Cambridge University Press
- Date of Publication 31 August 2025
- ISBN 9781009576710
- Binding Paperback
- No. of pages483 pages
- Language English 700
Categories
Short description:
Introduces the category of polynomial functors and how they model interacting dynamical systems, with illustrated examples and exercises.
MoreLong description:
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.
'Crafted with evident care for the subject and the reader, Niu and Spivak invite us into the mathematically abundant world of polynomial functors. Their practical and pedagogical approach plants the seeds for a long, fruitful interaction between 'Poly' and those making sense of our dynamic and interconnected world.' Brendan Fong, Topos Institute
Table of Contents:
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: 6. The composition product; 7. Polynomial comonoids and retrofunctors; 8. Categorical properties of polynomial comonoids; 9. Future work in polynomial functors; References; Index.
More