从经典 0-物种到量子 0-物种的自然变换的构造

我们组装了取值于范畴 $\mathfrak{Chdv}_{0}$ 的函子之间的一个自然变换 $\mathfrak{J}$。$\mathfrak{Chdv}_{0}$ 是通过在我们先前论文引入的范畴 $\mathfrak{Chdv}$ 的定义性质中，将范畴 $\mathrm{ptls}$ 与 $\mathrm{ptsa}$ 均替换为拓扑线性空间范畴而得到的。通过令一个 $\mathfrak{dp}$-值函子在（经典）量子情形是指其每个值均为动力模式，其集合映射取值于（交换）非交换拓扑含单位元 $\ast-$代数之集，并令一个（经典）量子 $0$-物种为一个 $\mathfrak{Chdv}_{0}$-值函子，它经由从 $\mathfrak{dp}$ 到 $\mathfrak{Chdv}_{0}$ 的典范函子分解为一个（经典）量子 $\mathfrak{dp}$-值函子，我们得到 $\mathfrak{J}$ 的定义域与值域分别是一个经典与一个量子 $0$-物种。