On the coherence conditions for pseudo-distributive laws
Nicola Gambino · 2009
We survey the development of the formal theory of pseudomonads, the analogue for pseudo-monads of the formal theory of monads. One of the main achievements of the theory is a satisfactory axiomatisation of the notion of a pseudo-distributive law between pseudo-monads.