定量代数与度量单子的分类
摘要：量化代数是在度量空间上作用的Σ代数，其中运算是非扩张的。我们证明了对于有限性标记Σ，量化代数的品种与在度量空间范畴mathsf {Met}上的强有限单子的双射对应。对于不可数基数λ,λ-元量化代数的变种和强λ-可达单子之间存在类似的双射。此外，我们在Mardare，Panangaden和Plotkin引入的λ品种和富集的，保持映射的λ可达单子之间提供了一种双射对应。最后，对于一般的富集λ可达单子，提供了到广义品种的双射对应。
作者：J. Ad''amek, M. Dost''al, J. Velebil
论文ID：2210.01565
分类：Category Theory
分类简称：math.CT
提交时间：2023-03-23