[論文レビュー] Stone Duality for Monads

Richard Garner, Alyssa Renata+1 more|arXiv (Cornell University)|Mar 26, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

この論文は finitary/infinitary モナド on Set と retrofunctor を持つ内部/ローカリックカテゴリ間の反変同値射を確立し、固定点を hyperaffine-unary モナドおよび ample localic カテゴリとして特定することで、モナドに対する Stone 型の対称性を得る。

ABSTRACT

We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a monad $T$-viewed as a notion of computation, following Moggi-to its localic behaviour category $\mathsf{LB}T$. This behaviour category is understood as "the universal transition system" for interacting with $T$: its "objects" are states and the "morphisms" are transitions. On the other hand, the right adjoint takes a localic category $\mathsf{LC}$-similarly understood as a transition system-to the monad $Γ\mathsf{LC}$ where $(Γ\mathsf{LC})A$ is the set of $A$-indexed families of local sections to the source map which jointly partition the locale of objects. The fixed points of this adjunction consist of (i) hyperaffine-unary monads, i.e., those monads where term $t$ admits a read-only operation $\bar{t}$ predicting the output of $t$; and (ii) ample localic categories, i.e., whose source maps are local homeomorphisms and whose locale of objects are strongly zero-dimensional. The hyperaffine-unary monads arise in earlier works by Johnstone and Garner as a syntactic characterization of those monads with Cartesian closed Eilenberg-Moore categories. This equivalence is the Stone duality for monads; so-called because it further restricts to the classical Stone duality by viewing a Boolean algebra $B$ as a monad of $B$-partitions and the corresponding Stone space as a localic category with only identity morphisms.

研究の動機と目的

• 計算をモナド方程式だけでなく、コモードルと挙動カテゴリを用いて非影描写する動機付け。
• モナドの普遍的遷移系を捉えるトップロジカル/ローカリック枠組みを導入。
• ローカリック挙動カテゴリと ample localic カテゴリを用いて、有限性モナドから無限性モナドへ拡張。
• adjunction の固定点を hyperaffine-unary モナドと ample localic カテゴリとして特徴づける。
• Boolean代数とそれに対応するモナドへ制限することで、Stone 双対性との関連を示す。

提案手法

• 有限性モナドのトップロジカル挙動カテゴリ BT を構築し、その函手拡張 B: Mnd_ω(Set) → TopRetro^op を作成。
• Γ_ω を B の右随伴として用い、モナドとトップロジカル retrofunctor 之间の最初の随伴を得る。
• TopRetro を LocRetro に置換して無限性モナドへ一般化し、ローカリック挙動カテゴリ LB T を定義。
• LB_0 T を終端ローカリックコモデイルとして定義し、LB_1 T を LB_0 T 上の層構造で作成してローカリック挙動カテゴリ LB T を形成。
• LB T と関手 LB が Γ LB T と随伴をなし、区分を保存し、制限時に Stone 双対性を与える。
• adjunction の固定点を cartesian 闭包（hyperaffine-unary）モナドおよび ample localic カテゴリ（局所同型写像源を持ち、対象ローカルが strongly zero-dimensional）として特徴づける。

実験結果

リサーチクエスチョン

• RQ1 モノドが interaction を捉える内部/ローカリックカテゴリとの随伴によってどのように計算を特徴付けられるか。
• RQ2 モナドと内部/ローカリック挙動カテゴリの随伴の固定点は何であり、それらは hyperaffine-unary モナドや ample localic カテゴリなどの既知概念とどう関係するか。
• RQ3 Stone 双対性を Boolean 代数からモナドとローカリックカテゴリの広い対称関係へ拡張できるか。
• RQ4 LB/Γ 随伴と有限情報トポロジーの下で有限性モナドと無限性モナドはどう振る舞うか。
• RQ5 ローカリックアプローチはさまざまな計算理論において元のモナドをどのように再現・近似するか。

主な発見

• Set 上の階層モナドと Loc 内部カテゴリの反変的な単位的随伴が LB T と Γ LB T によって実現される。
• 左随伴はモナド T をそのローカリック挙動カテゴリ LB T、T との相互作用の普遍的な遷移系へ写像する。
• 右随伴はローカリックカテゴリ LC をモナド Γ LC に写し、LC の source 写像のA個の局所セクションの族を対象ローカルを分割する形で定義する。
• Adjunction の固定点は hyperaffine-unary モナドと ample localic カテゴリであり、モナドの Stone 双対性をもたらす。
• Hyperaffine-unary モナドはデカルト閉の Eilenberg–Moore カテゴリに対応し、ample localic カテゴリは source が局所的同相をもち、対象ローカルが strongly zero-dimensional。
• Stone 空間と Boolean 代数への制限は、古典的 Stone 双対性を特別なケースとして回復する。