Polynomial Functors: A Mathematical Theory of Interaction
Category Theory
2024-08-20 v2
Abstract
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.
Cite
@article{arxiv.2312.00990,
title = {Polynomial Functors: A Mathematical Theory of Interaction},
author = {Nelson Niu and David I. Spivak},
journal= {arXiv preprint arXiv:2312.00990},
year = {2024}
}
Comments
372 pages