Strong Dinatural Transformations and Generalised Codensity Monads

Maciej Piróg, Filip Sieczkowski

We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on…