Parametric right adjoint functors and polynomials

Richard Garner – 28 August 2019

We explain how to obtain the bicategory of parametric right adjoint functors between presheaf categories from the monoidal category Poly(Set)(1,1). As an application we exhibit cofunctors out of a small category A as the same thing as parametric right adjoint comonads on [A, Set].