2025-11-10T03:14:08.454542

Cartesian closedness of the category of real-valued sets, I

Shen, Zhang

Let $[0,1]_*$ be the unit interval $[0,1]$ equipped with a continuous t-norm $*$. It is shown that the category of $[0,1]_*$-sets is cartesian closed if, and only if, $*$ is the minimum t-norm on $[0,1]$.

academic

Cartesian closedness of the category of real-valued sets, I

基本信息

论文ID: 2510.12108
标题: Cartesian closedness of the category of real-valued sets, I
作者: Lili Shen, Jian Zhang (四川大学数学学院)
分类: math.CT (范畴论)
发表时间: 2025年10月14日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.12108v1

摘要

设 $[0,1]_*$ 为配备连续t-范数 $*$ 的单位区间 $[0,1]$ 。本文证明了 $[0,1]_*$ -集合的范畴是笛卡尔闭当且仅当 $*$ 是 $[0,1]$ 上的最小t-范数。

研究背景与动机

问题背景

理论基础：基于Higgs和Fourman-Scott的框架赋值集合理论，以及Höhle等人发展的量子赋值集合理论，这些理论在模糊集合的范畴基础中具有重要影响。
已知结果：对于框架 $\Omega$ ， $\Omega$ -Set范畴是一个拓扑斯，因此享有包括笛卡尔闭性和子对象分类器存在性在内的许多良好性质。
核心问题：当考虑单位可逆量子 $Q$ 作为真值表时， $Q$ -Set范畴不一定是拓扑斯。Hu-Shen证明了对于交换、单位、可除的量子 $Q$ ， $Q$ -Set是拓扑斯当且仅当 $Q$ 是框架。

研究动机

虽然 $Q$ -Set一般不是拓扑斯，但探究它可能仍具有的拓扑斯性质是合理的。本文开始研究 $Q$ -Set的笛卡尔闭性，特别针对 $Q = [0,1]_*$ 的特殊情形，其中 $*$ 是 $[0,1]$ 上的连续t-范数。

核心贡献

主要定理：证明了范畴 $[0,1]_*$ -Set是笛卡尔闭当且仅当 $*$ 是 $[0,1]$ 上的最小t-范数（定理4.5）。
技术工具：利用Mostert-Shields定理，该定理表明每个 $[0,1]$ 上的连续t-范数都承认序和分解为最小、乘积和Łukasiewicz t-范数。
范畴等价：建立了 $[0,1]_*$ -Set与 $[0,1]_*$ -CcSet（分离的Cauchy完备 $[0,1]_*$ -集合范畴）之间的等价性。
推论：重现了Hu-Shen关于 $[0,1]_*$ -Set是拓扑斯当且仅当 $*$ 是最小t-范数的结果（推论4.6）。

方法详解

基础定义

$[0,1]_*$ -集合

一个 $[0,1]_*$ -集合是配备映射 $\alpha: X \times X \to [0,1]$ 的（crisp）集合 $X$ ，满足：

(S1) $\alpha(x,y) \leq \alpha(x,x) \wedge \alpha(y,y)$
(S2) $\alpha(x,y) = \alpha(y,x)$
(S3) $\alpha(y,z) * (\alpha(y,y) \to \alpha(x,y)) \leq \alpha(x,z)$

连续t-范数

区间 $[a,b]$ 上的二元运算 $*$ 是连续t-范数，记为 $[a,b]_*$ ，如果：

$([a,b], *, b)$ 是交换幺半群
$p * q \leq p' * q'$ 当 $p \leq p'$ 且 $q \leq q'$
$*: [a,b] \times [a,b] \to [a,b]$ 是连续函数

关键技术结果

Mostert-Shields定理（引理2.3）

对每个连续t-范数 $[0,1]_*$ ， $[0,1]$ 中 $*$ 的非幂等元素集合是可数个互不相交开区间的并： $\{(p_i, q_i) | 0 < p_i < q_i < 1, i \in I, I\text{可数}\}$ 且对每个 $i \in I$ ，限制到 $[p_i, q_i]$ 的连续t-范数 $[p_i, q_i]_*$ 要么同构于乘积t-范数 $[0,1]_\times$ ，要么同构于Łukasiewicz t-范数 $[0,1]_{*_Ł}$ 。