nLab polynomial comonad




A polynomial comonad on a category is a comonad whose underlying endofunctor is a polynomial functor.



Polynomial comonads were first studied under the name directed containers in:

The equivalence between polynomial comonads on Set\mathrm{Set} and small categories was shown in:

The observation that morphisms of polynomial comonads are the same as retrofunctors (under the name cofunctor) appears in:

The notion of (two-sided) comodule between polynomial comonads was given in:

A detailed study of polynomial comonads and their morphisms appears in Chapter 7 of the (unpublished) book:

Last revised on May 11, 2024 at 04:55:00. See the history of this page for a list of all contributions to it.