Del 498 - London Mathematical Society Lecture Note Series

Polynomial Functors

A Mathematical Theory of Interaction

Häftad, Engelska, 2025

AvNelson Niu,David I. Spivak,Nelson (University of Washington) Niu,David I. (Topos Institute) Spivak

1 249 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2025-10-16
Mått152 x 229 x 25 mm
Vikt784 g
FormatHäftad
SpråkEngelska
SerieLondon Mathematical Society Lecture Note Series
Antal sidor488
FörlagCambridge University Press
ISBN9781009576710

Tillhör följande kategorier

Nelson Niu is a Ph.D. Student in the Department of Mathematics at the University of Washington. He was a keynote speaker on Polynomial Functors at the 2022 Artificial General Intelligence Conference. He conducted research in applied category theory with David I. Spivak at MIT and currently consults with NASA on category theory applied to Advanced Air Mobility Architectures. David I. Spivak is Senior Scientist and Institute Fellow at Topos Institute. He earned his Ph.D. in mathematics from UC Berkeley in 2007. He went on to demonstrate the broad applicability of category theory during his postdoctoral work and ten years at MIT. He also co-founded the Topos Institute and has authored three books on category theory applications.

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; References; Index.

Mer från samma serie

Del 366

Highly Oscillatory Problems

Bjorn Engquist, Athanasios Fokas, Ernst Hairer, Arieh Iserles, Austin) Engquist, Bjorn (University of Texas, Athanasios (University of Cambridge) Fokas, Ernst (Universite de Geneve) Hairer, Arieh (University of Cambridge) Iserles

Häftad

1 099 kr

Del 288

Surveys in Combinatorics, 2001

J. W. P. Hirschfeld, J. W. P. (University of Sussex) Hirschfeld, N. J. Hitchin

Häftad

1 049 kr

Del 284

Foundations of Computational Mathematics

DeVore Iserles Suli, DeVore/Iserles/Suli, Endre Suili, Ronald Devore, Arieh Iserles, Endre Süli, Endre Süli, Ronald (University of South Carolina) Devore, Arieh (University of Cambridge) Iserles, Endre (University of Oxford) Suli

Häftad

1 049 kr