  A monad is constructed in the Goguen category of fuzzy sets valued in a
unital quantale, which is an analog of the double contravariant powerset monad
in the category of sets. With help of this monad it is proved that the Goguen
category of fuzzy sets is dually monadic over itself.
