Polynomial functors and polynomial monads

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

Standard

Polynomial functors and polynomial monads. / Gambino, Nicola; Kock, Joachim.

I: Mathematical Proceedings of the Cambridge Philosophical Society, Bind 154, Nr. 1, 01.2013, s. 153-192.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

Harvard

Gambino, N & Kock, J 2013, 'Polynomial functors and polynomial monads', Mathematical Proceedings of the Cambridge Philosophical Society, bind 154, nr. 1, s. 153-192. https://doi.org/10.1017/S0305004112000394

APA

Gambino, N., & Kock, J. (2013). Polynomial functors and polynomial monads. Mathematical Proceedings of the Cambridge Philosophical Society, 154(1), 153-192. https://doi.org/10.1017/S0305004112000394

Vancouver

Gambino N, Kock J. Polynomial functors and polynomial monads. Mathematical Proceedings of the Cambridge Philosophical Society. 2013 jan.;154(1):153-192. https://doi.org/10.1017/S0305004112000394

Author

Gambino, Nicola ; Kock, Joachim. / Polynomial functors and polynomial monads. I: Mathematical Proceedings of the Cambridge Philosophical Society. 2013 ; Bind 154, Nr. 1. s. 153-192.

Bibtex

@article{b93b495c53e04b5d975b4c26ef6e059c,
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.",
keywords = "WELLFOUNDED TREES, CATEGORIES",
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",

}

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