147 citations · 398 across the 15 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
math.CT2009★ 1 cited
On the formal theory of pseudomonads and pseudodistributive laws
Nicola Gambino, Gabriele Lobbia
We contribute to the formal theory of pseudomonads, i.e. the analogue for pseudomonads of the formal theory of monads. In particular, we solve a problem posed by Steve Lack by prov…
math.CT2009★ 147 cited
Polynomial functors and polynomial monads
Nicola Gambino, Joachim Kock
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…