For a commutative, unital and divisible quantale QQ, it is shown that the category of QQ-sets is a topos if, and only if, QQ is a frame.
生成讲解博客的中文版本
生成AI智能校验的中文版本