[論文レビュー] Monads on dagger categories

Christiaan Heunen, Martti Karvonen|Edinburgh Research Explorer (University of Edinburgh)|Feb 13, 2016

Homotopy and Cohomology in Algebraic Topology被引用数 15

ひとこと要約

この論文は、自己対応的反自己同型（dagger）を備えた圏（daggerカテゴリ）におけるモノイドの理論を、モノイドとその随伴がdaggerを保存し、Frobenius法則を満たすように要請することで構築する。主な貢献は、このようなモノイドが随伴を介して分解可能であり、極値的解がKleisli圏およびFrobenius-Eilenberg-Moore圏として与えられ、これらが両方ともdagger構造を引き継ぐこと、そして強いモノイドがFrobeniusモノイドから生じることを示したことである。

ABSTRACT

The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when everything respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and its algebras should satisfy the so-called Frobenius law. Then any monad resolves as an adjunction, with extremal solutions given by the categories of Kleisli and Frobenius-Eilenberg-Moore algebras, which again have a dagger. We characterize the Frobenius law as a coherence property between dagger and closure, and characterize strong such monads as being induced by Frobenius monoids.

研究の動機と目的

• dagger自己同型をすべての構造が尊重するdaggerカテゴリにおけるモノイドの整合的理論を構築すること。
• daggerカテゴリ上のモノイドが随伴に基づく分解を許容する条件を同定すること。
• daggerカテゴリ上の強いモノイドがFrobeniusモノイドから生じることを特徴づけること。
• このようなモノイドのKleisliおよびFrobenius-Eilenberg-Moore圏がdagger構造を引き継ぐことの証明。
• dagger構造と閉包構造の間の整合性条件としてのFrobenius法則を確立すること。

提案手法

• dagger構造とモノイド構造の整合性条件としてのFrobenius法則を、daggerグラフィカル記法を用いて図式的に表現する。
• daggerを保存するモノイドおよび随伴を定義し、dagger自己同型と整合性を保つようにする。
• daggerモノイドの随伴に対する極値的解として、Frobenius-Eilenberg-Moore圏およびKleisli圏を特徴づける。
• カテゴリ的構成を用いて、daggerカテゴリ上の強いモノイドがFrobeniusモノイドから生じることを示す。
• グラフィカル推論と整合性定理を用いて、標準的射影 $ i: A \to A^* $ が自己同型であること、およびCayley埋め込みが自己同型であることの証明を行う。
• KleisliおよびEilenberg-Moore圏におけるdagger構造が、基本圏のdagger構造とモノイドのFrobenius性質によって誘導されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 daggerカテゴリ上のモノイドがdagger構造を保存し、随伴に基づく分解を許容するための条件は何か？
• RQ2 Frobenius法則はdaggerカテゴリにおけるdagger構造とモノイド構造の整合性条件としてどのように機能するか？
• RQ3 daggerカテゴリ上の強いモノイドのカテゴリ的特徴づけは何か？
• RQ4 モノイドがFrobenius法則を満たすとき、KleisliおよびEilenberg-Moore圏がどのようにdagger構造を引き継ぐのか？
• RQ5 標準的射 $ i: A \to A^* $ が自己同型である条件は何か？また、Cayley埋め込みが自己同型である条件は何か？

主な発見

• dagger構造を保存し、Frobenius法則を満たすdaggerカテゴリ上のモノイドは、随伴を介して分解可能であり、極値的解はKleisli圏およびFrobenius-Eilenberg-Moore圏として与えられる。
• dagger FrobeniusモノイドのKleisliおよびFrobenius-Eilenberg-Moore圏は、両方ともdagger構造を引き継ぎ、daggerカテゴリとなる。
• daggerカテゴリ上の強いモノイドは、Frobeniusモノイドから誘導されるものに限り、カテゴリ的同値性が確立される。
• Frobenius条件のもとで、標準的射 $ i: A \to A^* $ は自己同型であり、すなわち $ i_* \circ i = \mathrm{id}_A $ が成り立つ。
• 標準的Cayley埋め込みは $ i \circ R = R_* \circ i $ を満たし、モノイドがFrobeniusであるとき、それが自己同型であることが示される。
• Frobenius法則は、dagger構造と閉包構造の間の整合性条件として特徴づけられ、双対性とモノイド的構造の整合性を保証する。