The double contravariant powerset monad in the Goguen category of fuzzy sets
arXiv:2202.06217
Abstract
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.
arXiv comment21 pages