论文标题
模糊集的Goguen类别中的双逆势力单元
The double contravariant powerset monad in the Goguen category of fuzzy sets
论文作者
论文摘要
单子是在goguen类别中构建的模糊集，该集合以一个Unital量子量为单位，这是集合类别中双重逆向Powerset Monad的类似物。在这个单子的帮助下，证明了模糊集的Goguen类别在本身上是双重的。
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.
