Abstract: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 how the notion of comodule representability naturally subsumes classic representations of continuous functionals with well-founded trees. We find other kinds of representations by varying the monad, the comodule, and in some cases the underlying category of containers. Examples include uniformly continuous or finitely supported functionals, functionals querying their arguments precisely once, or at most once, functionals interacting with an ambient environment through computational effects, as well as functionals trivially representing themselves. Many of these rely on our construction of a monad on containers from a monad on shapes and a weak Mendler-style monad algebra on the universe for positions. We show that comodule representability on the category of propositional containers, which have positions valued in a universe of propositions, is closely related to instance reducibility in constructive mathematics, and through it to Weihrauch reducibility in computability theory.

Complementation in Continuous Cohomology with Coefficients in Banach Modules

The Cohomology Group of Weak Entwining Structure

Complements of Non-Minimal Subspaces: Characterization Results

Complemented subspaces of Banach spaces $C(K\times L)$

Cohomological integrality for weakly symmetric representations of reductive groups

Cocompact amenable closed subgroups: weakly inequivalent representations in the left-regular representation

Convergence of Complementable Operators

On weakly continuum-chainable and almost continuum-chainable continua

Comodule Representations of Second-Order Functionals

Coarse cohomology of configuration space and coarse embedding

Local complementation in Banach spaces and its preservation under free constructions

Cohomological and motivic inclusion–exclusion

A comonadicity theorem for partial comodules

On commutants of composition operators embedded into $C_0$-semigroups

Weakly bounded cohomology classes and a counterexample to a conjecture of Gromov

Maximality of correspondence representations

Weak-* and completely isometric structure of noncommutative function algebras

A bicommutant theorem for dual Banach algebras

Coorbit spaces associated to quasi-Banach function spaces and their molecular decomposition