Australian Category Seminar

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].

Back