The powerset monad on quantale-valued sets

Abstract

For a small involutive quantaloid Q, it is shown that the category of separated complete Q-categories and left adjoint Q-functors is strictly monadic over the category of symmetric Q-categories. In particular, the (covariant) powerset monad on the category of quantale-valued sets is precisely formulated.