[論文レビュー] Coherence in Hilbert's Hotel

Peter Hines|arXiv (Cornell University)|Apr 22, 2013

Homotopy and Cohomology in Algebraic Topology被引用数 1

ひとこと要約

この論文は、すべての結合則図式が可換になるように保証することで、自己同型なモノイダル圏における整合性を強制するカテゴリカルな構成を導入する。これは、MacLaneの整合性定理を単生成モノイダル圏へ拡張したものである。また、MacLaneの結合則置換関手の単射・全射分解を提供し、モノイダル圏における形式的および非形式的表現の不一致を解消する。

ABSTRACT

This paper is about coherence for self-similarity (the categorical iden-tity S ∼ = S ⊗ S), its relationship with MacLane’s coherence theorem for associativity, and the strictification procedures for both associativity and self-similarity. Based on a motivating example of a monoidal category with a sin-gle non-trivial object, we study why the formal and informal statements of MacLane’s theorem do not always coincide (i.e. the situation where not all canonical diagrams commute in a monoidal category). We give a categorical construction that replaces an arbitrary monogenic monoidal category with one in which all canonical (for associativity) diagrams are guaranteed to commute. This in turn leads to a monic-epic decomposition of MacLane’s associativity substitution functor in the category of small categories. Applying this construction to the trivial monoidal category gives a pose-

研究の動機と目的

• モノイダル圏におけるMacLaneの整合性定理の形式的および非形式的表現の不一致を解消すること。
• すべての標準的結合則図式が可換になる単生成モノイダル圏を構成すること。
• モノイダル圏における結合則および自己同型性の両方の厳密化のためのカテゴリカルな枠組みを提供すること。
• 小カテゴリの圏におけるMacLaneの結合則置換関手を単射および全射成分に分解すること。
• この構成を自明なモノイダル圏に適用し、整合的で構造的な結果を得ること。

提案手法

• 単一の非自明な対象を持つモノイダル圏の動機づけ例を用いて、整合性の破綻を分析すること。
• 任意の単生成モノイダル圏を、完全な結合則整合性を強制するものに置き換えるカテゴリカルな構成を定義すること。
• この構成を適用して、すべての結合則の標準的図式が可換になるように保証し、整合性を達成すること。
• 小カテゴリの圏（Cat）において、MacLaneの結合則置換関手の単射・全射分解を導出すること。
• この構成を自明なモノイダル圏に拡張し、整合性保持効果を実証すること。
• 自己同型性（S ≅ S ⊗ S）を、整合性メカニズムの構造的基盤として活用すること。

実験結果

リサーチクエスチョン

• RQ1 なぜモノイダル圏におけるMacLaneの整合性定理の形式的および非形式的表現は、ときとして乖離するのか？
• RQ2 単生成モノイダル圏をどのように体系的に変形すれば、すべての結合則図式が可換になるようにできるか？
• RQ3 MacLaneの結合則置換関手のカテゴリカル構造は何か？ そして、どのようにして単射および全射成分に分解できるか？
• RQ4 自己同型性はモノイダル圏における整合性とどのように相互作用するか？
• RQ5 この構成を用いて、自明なモノイダル圏を整合的構造へ変換できるか？

主な発見

• 提案されたカテゴリカルな構成は、単生成モノイダル圏におけるすべての結合則図式の整合性を成功裏に強制する。
• 小カテゴリの圏において、MacLaneの結合則置換関手の単射・全射分解が確立された。
• この構成により、形式的および非形式的表現の不一致が解消され、標準的図式が可換になるように保証された。
• 自己同型性（S ≅ S ⊗ S）は、整合性を強制する変換のもとでも保存される。
• 自明なモノイダル圏への適用により、整合的で構造的な圏が得られ、図式の可換性が保証された。
• この手法により、モノイダル圏における結合則および自己同型性の体系的厳密化手順が提供された。