Polynomial functors and polynomial monads
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Polynomial functors and polynomial monads. / Gambino, Nicola; Kock, Joachim.
In: Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 154, No. 1, 01.2013, p. 153-192.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - JOUR
T1 - Polynomial functors and polynomial monads
AU - Gambino, Nicola
AU - Kock, Joachim
PY - 2013/1
Y1 - 2013/1
N2 - 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.
AB - 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.
KW - WELLFOUNDED TREES
KW - CATEGORIES
U2 - 10.1017/S0305004112000394
DO - 10.1017/S0305004112000394
M3 - Journal article
VL - 154
SP - 153
EP - 192
JO - Mathematical Proceedings of the Cambridge Philosophical Society
JF - Mathematical Proceedings of the Cambridge Philosophical Society
SN - 0305-0041
IS - 1
ER -
ID: 331501766