Polynomial Functors: A Mathematical Theory of Interaction

This monograph is a study of the category of polynomial endofunctors on the category of sets and its applications to modeling interaction protocols and dynamical systems. We assume basic categorical background and build the categorical theory from the ground up, highlighting pictorical techniques and concrete examples to build intuition and provide applications.

Logic, Reasoning, and Knowledge Advanced Algebra and Logic Constraint Satisfaction and Optimization

Paper

Similar papers

Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category TheoryVincent Abbott, Gioele Zardini2024 · arXiv (Cornell University) In Library

The List Object Endofunctor is PolynomialSamuel Desrochers2025 · arXiv (Cornell University) In Library

Algebras of Interaction and CooperationUlrich Faigle, Alexander Schönhuth2024 · ZERO Jurnal Sains Matematika dan Terapan In Library

Interacting Monoidal Structures with Applications in ComputingJames Cranch, Georg Struth2024 · arXiv (Cornell University) In Library

Algebras of Interaction and CooperationUlrich Faigle2024 · arXiv (Cornell University) In Library

A 2-Categorical Framework for Proof Systems with Endofunctorial StrucYugo Hidaka2026 · Zenodo (CERN European Organization for Nuclear Research) In Library

Representing Knowledge and Querying Data using Double-Functorial SemanticsMike Lambert, Evan Patterson2025 · Electronic Proceedings in Theoretical Computer Science In Library

Dynamic task delegation for hierarchical agentsSophie Libkind, David I. Spivak2024 · arXiv (Cornell University) In Library

Quotient toposes of discrete dynamical systemsRyuya Hora, Yuhi Kamio2023 · arXiv (Cornell University) In Library

Protocol Choice and Iteration for the Free CorneringChad Nester, Niels Voorneveld2023 · arXiv (Cornell University) In Library

Source of record

OpenAlex

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal