134 citations · 234 across the 10 of their papers we have counts for
1 paper · 2 filters
Steve Awodey, Clive Newstead
We assemble polynomials in a locally cartesian closed category into a tricategory, allowing us to define the notion of a polynomial pseudomonad and polynomial pseudoalgebra. Workin…