Comodule Representations of Second-Order Functionals

Danel Ahman, Andrej Bauer

We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show…