[論文レビュー] 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 上の豊富な λ-可アクセスなモノイドとの間の全単射対応を確立すること。
• 強有限的自己関手の合成可能性という未解決問題を、非アーベル距離空間に制限することで解決すること。
• 豊富な圏論とカーン拡張を用いて、1-基本的変種に関する先行結果をより高い基数へ一般化すること。

提案手法

• 離散的距離空間のサイズが λ より小さい部分に沿った左カーン拡張を用いて、豊富な圏論により λ-可アクセス自己関手を定義する。
• Kelly と Lack の強有限的モノイド理論を、非アーベル距離空間の圏 UMet に適用し、合成可能性が保証される。
• λ-鎖上の余極限と左カーン拡張を用いて、λ-可アクセス自己関手上の自由モノイドを構成する。
• 操作がサイズ < λ の距離空間でパラメータ化された一般化記号系と定量的等式を用いてモノイドを提示する。
• 忘却関手 W : Mndλ(Met) → [Metλ, Met] 及びその随伴を用いて、モノイド性と提示定理を導出する。
• 操作と距離に関する満たすべき条件を通じて、Eilenberg-Moore 圏 MetT を一般化された変種と同定する。

実験結果

リサーチクエスチョン

• RQ1 Met 上のどのクラスのモノイドに対して、Eilenberg-Moore 圏が定量的代数の変種に対応するか？
• RQ2 Met 上の強有限的自己関手の合成が閉じる条件は何か？
• RQ3 非可算な λ に対して、一般化された λ-アリティの定量的代数の変種と、Met 上の豊富な λ-可アクセスなモノイドとの間で全単射対応を確立できるか？
• RQ4 全射の保存性と豊富さの性質が、λ-基本的変種の分類をどのように精緻化するか？
• RQ5 なぜ λ = ℵ₀ の場合には対応が成立しないのか？その背後にある構造的差異は何か？

主な発見

• 非アーベル距離空間（UMet）では、非アーベル定量的代数の変種と強有限的モノイドとの間で、追加の仮定なしに全単射対応が成立する。
• 距離空間（Met）では、強有限的自己関手の合成可能性を仮定すれば、定量的変種と強有限的モノイドとの間に双対性が成立する。
• 非可算な正則基数 λ に対して、Met 上の豊富な λ-可アクセスなモノイドは、一般化された λ-アリティの定量的代数の変種と双対同値である。
• 豊富で、全射を保存し、λ-可アクセスである λ-基本的変種は、Met 上の λ-可アクセスなモノイドと全単射に対応し、以前の結果を一般化する。
• λ = ℵ₀ の場合には、対応が成立しない。例 8.13 により、モノイド性の結果が可算の場合に拡張されないことが示されている。
• Met 上の任意の豊富な λ-可アクセスなモノイドは、λ-アリティの記号系と定量的等式によって定義される一般化された変種の自由代数モノイドとして生じる。