[论文解读] Quantitative Algebras and a Classification of Metric Monads

J. Adámek, M. Dostál+1 more|arXiv (Cornell University)|Oct 4, 2022

Advanced Algebra and Logic被引用 1

一句话总结

该论文在不可数正则基数 λ 的情况下，建立了 λ-元量化代数的广义种类与度量空间范畴（Met）上的丰富 λ-可及单子之间的双射对应关系。它扩展了先前关于强有限型单子的研究，证明当范畴限制在非阿基米德度量空间（UMet）时，此类单子恰好对应于量化代数的种类；并进一步通过 λ-可及函子和丰富代数结构，将该结果推广至无穷型签名。

ABSTRACT

Quantitative algebras are $Σ$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations. We prove that for the category $\mathsf{UMet}$ of ultrametric spaces such varieties bijectively correspond to strongly finitary monads on $\mathsf{UMet}$. The same holds for the category $\mathsf{Met}$ of metric spaces, provided that strongly finitary endofunctors are closed under composition. For uncountable cardinals $λ$ there is an analogous bijection between varieties of $λ$-ary quantitative algebras and monads that are strongly $λ$-accessible. Moreover, we present a bijective correspondence between $λ$-basic varieties as introduced by Mardare et al and enriched, surjections-preserving $λ$-accesible monads on $\mathsf{Met}$. Finally, for general enriched $λ$-accessible monads on $\mathsf{Met}$ a bijective correspondence to generalized varieties is presented.

研究动机与目标

• 刻画作为量化代数自由代数单子而产生的度量空间上的单子。
• 通过 λ-可及函子将强有限型单子的分类推广至无穷型签名。
• 在广义 λ-元量化代数种类与 Met 上的丰富 λ-可及单子之间建立双射对应关系。
• 通过将范畴限制在非阿基米德度量空间，解决强有限型自函子复合性的开放问题。
• 通过丰富范畴论与 Kan 扩张，将先前关于 1-基本种类的结果推广至更高基数。

提出的方法

• 使用丰富范畴论，通过离散度量空间（大小小于 λ）的包含映射的左 Kan 扩张来定义 λ-可及自函子。
• 将 Kelly 和 Lack 的强有限型单子理论应用于非阿基米德度量空间范畴 UMet，其中复合性得以保证。
• 通过 λ-链上的左 Kan 扩张与余上确界构造 λ-可及自函子上的自由单子。
• 通过广义签名与量化等式来表示单子，其中运算由大小小于 λ 的度量空间参数化。
• 使用遗忘函子 W : Mndλ(Met) → [Metλ, Met] 及其伴随，推导出单子性与表示定理。
• 通过运算与距离的满足条件，将 Eilenberg-Moore 范畴 MetT 识别为广义种类。

实验结果

研究问题

• RQ1 在哪些度量空间上的单子类中，Eilenberg-Moore 范畴对应于量化代数的种类？
• RQ2 在何种条件下，度量空间上的强有限型自函子的复合是封闭的？
• RQ3 能否在不可数 λ 的情况下，为广义 λ-元量化代数种类与 Met 上的丰富 λ-可及单子之间建立双射对应关系？
• RQ4 满射保持性与丰富结构如何细化 λ-基本种类的分类？
• RQ5 为何该对应关系在 λ = ℵ₀ 时不成立？其结构差异是什么？

主要发现

• 在非阿基米德度量空间（UMet）中，存在非阿基米德量化代数种类与强有限型单子之间的双射对应，无需额外假设。
• 在度量空间（Met）中，假设强有限型自函子的复合性成立，则存在量化种类与强有限型单子之间的双射。
• 对于不可数正则基数 λ，Met 上的丰富 λ-可及单子与广义 λ-元量化代数种类之间存在对偶等价。
• λ-基本种类（丰富、保持满射、λ-可及）与 Met 上的 λ-可及单子之间存在双射对应，推广了先前结果。
• 该对应关系在 λ = ℵ₀ 时不成立，如例 8.13 所示，表明单子性结果无法推广至可数情形。
• Met 上的每一个丰富 λ-可及单子均可表示为由 λ-元签名上的量化等式定义的广义种类的自由代数单子。