The powerset monad on quantale-valued sets

Lili Shen, Xiaojuan Zhao

For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly mo…