强有限幺半群与笛卡儿闭具体范畴中富集的多类簇代数簇

范畴代数中的一个经典结果（归功于 Lawvere 和 Linton）指出，代数（在 Birkhoff 意义下）的有限簇与 $Set$ 上的有限幺半群对偶等价。Ad\'amek、Dost\'al 和 Velebil 的近期工作确立了类似结果在某些富集语境中也成立。具体而言，取 $V$ 为分别由偏序集、（扩展）超度量空间、$\omega$-cpo 或 dcpo 构成的笛卡儿闭范畴 $\mathsf{Pos}$、$\mathsf{UltMet}$、$\omega$-$\mathsf{CPO}$ 或 $\mathsf{DCPO}$ 之一，Ad\'amek、Dost\'al 和 Velebil 已证明一类合适的 $V$-富集代数簇范畴与 $V$ 上强有限 $V$-幺半群范畴对偶等价。本文从两方面推广并一般化这些结果：允许 $V$ 为任意在 $Set$ 上具体化的完备且余完备笛卡儿闭范畴，并考虑多类簇情形。给定一类簇 $S$，我们定义合适的（有限）$V$-富集 $S$-类簇概念，并称乘积 $V$-范畴 $V^S$ 上的 $V$-幺半群为强有限的，若其底层 $V$-自函子是其在 $V^S$ 的某个合适全子-$V$-范畴上限制的左 Kan 扩张。我们的主要结果是：$V$-富集 $S$-类簇范畴与 $V^S$ 上强有限 $V$-幺半群范畴对偶等价。通过取 $S$ 为单元素集且 $V$ 为 $\mathsf{Pos}$、$\mathsf{UltMet}$、$\omega$-$\mathsf{CPO}$ 或 $\mathsf{DCPO}$，我们从而恢复了前述 Ad\'amek、Dost\'al 和 Velebil 的结果。我们提供了若干类 $V$-富集 $S$-类簇的实例，其中许多具有非常具体的语法表述。