6533b822fe1ef96bd127d7c2

RESEARCH PRODUCT

Polynomial functors and polynomial monads

Nicola GambinoJoachim Kock

subject

Pure mathematicsPolynomialFunctorGeneral MathematicsMathematics - Category Theory18C15 18D05 18D50 03G30517 - AnàlisiMonad (functional programming)BicategoryMathematics::Algebraic TopologyCartesian closed categoryMathematics::K-Theory and HomologyMathematics::Category TheoryPolynomial functor polynomial monad locally cartesian closed categories W-types operadsFOS: MathematicsPolinomisCategory Theory (math.CT)Mathematics

description

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.

yearjournalcountryeditionlanguage
2009-06-26
10.1017/s0305004112000394http://arxiv.org/abs/0906.4931