Polynomial functors and polynomial monads

Nicola Gambino; Joachim Kock

doi:10.1017/S0305004112000394

Polynomial functors and polynomial monads

Nicola Gambino, Joachim Kock

Pure Mathematics

Universitat Autonoma de Barcelona

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	153-192
Number of pages	40
Journal	Mathematical Proceedings of the Cambridge Philosophical Society
Volume	154
Issue number	1
DOIs	https://doi.org/10.1017/S0305004112000394
Publication status	Published - Jan 2013

Access to Document

10.1017/S0305004112000394

Cite this

@article{348032d1ce714b5492cf76419fb5f0c7,

title = "Polynomial functors and polynomial monads",

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.",

author = "Nicola Gambino and Joachim Kock",

year = "2013",

month = jan,

doi = "10.1017/S0305004112000394",

language = "English",

volume = "154",

pages = "153--192",

journal = "Mathematical Proceedings of the Cambridge Philosophical Society",

issn = "0305-0041",

publisher = "Cambridge University Press",

number = "1",

}

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.

U2 - 10.1017/S0305004112000394

DO - 10.1017/S0305004112000394

M3 - Article

SN - 0305-0041

VL - 154

SP - 153

EP - 192

JO - Mathematical Proceedings of the Cambridge Philosophical Society

JF - Mathematical Proceedings of the Cambridge Philosophical Society

IS - 1

ER -

Polynomial functors and polynomial monads

Abstract

Access to Document

Fingerprint

Cite this