模糊集Goguen范畴中的双逆变幂集单子
The double contravariant powerset monad in the Goguen category of fuzzy sets
摘要：
在赋值于单位Quantale的模糊集的Goguen范畴中构造了一个单子，它是集合集范畴中的双逆变幂集单子的一个类似物。借助于这一单子，证明了模糊集的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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
