Joachim's web pages [Home] [Math] [Cat]

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 Joachim Kock.