Joachim's web pages
Polynomial functors and polynomial monads
By Nicola Gambino and Joachim Kock.
Math. Proc. Cambridge Phil.
Soc. 154 (2013), 153-192.
We study polynomial functors over locally cartesian closed categories. After
setting up the basic theory, we show how polynomial functors assemble into a
double category, in fact a framed bicategory. We show that the free monad on a
polynomial endofunctor is polynomial. The relationship with operads and other
related notions is explored.
Last updated: 2012-12-10 by