量值集上的幂集单子
The powerset monad on quantale-valued sets
AI总结：
本文证明了分离完备 $\mathcal{Q}$-范畴在对称 $\mathcal{Q}$-范畴上的严格单子性，并由此精确构造了量值集范畴上的协变幂集单子。
摘要：
对于一个小对合量体 $\mathcal{Q}$，本文证明了分离完备 $\mathcal{Q}$-范畴与左伴随 $\mathcal{Q}$-函子的范畴在对称 $\mathcal{Q}$-范畴的范畴上是严格单子的。特别地，精确地构造了量值集范畴上的（协变）幂集单子。
英文摘要：
For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric $\mathcal{Q}$-categories. In particular, the (covariant) powerset monad on the category of quantale-valued sets is precisely formulated.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
