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

Polynomial functors and polynomial monads

By Nicola Gambino and Joachim Kock

Abstract

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.

Download

Last updated: 2010-03-07 by Joachim Kock.