[論文レビュー] A 2-Categorical Analysis of the Tripos-to-Topos Construction

Jonas Frey|arXiv (Cornell University)|Apr 14, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 13

ひとこと要約

本稿は、2-圏的枠組みを用いて、トリパスからトポスへの構成を、設備的構造の2-圏におけるバイアドゥイングとして特徴づけ、オプラックス関手を用いることで関手的問題を解決する。主な貢献は、この構成を2段階に分解することにある：まず弱化された準トポス（q-topos）へ、次にトポスへと。これにより、有限極限と有限積のみを保存するトリパス準同型を通じて、幾何的同型と部分トポスの体系的枠組みが得られる。

ABSTRACT

We characterize the tripos-to-topos construction of Hyland, Johnstone and Pitts as a biadjunction in a bicategory enriched category of equipment-like structures. These abstract concepts are necessary to handle the presence of oplax constructs --- the construction is only oplax functorial on certain classes of cartesian functors between triposes. A by-product of our analysis is the decomposition of the tripos-to-topos construction into two steps, the intermediate step being a weakened version of quasitoposes.

研究の動機と目的

• すべての幾何的同型（正規のものに限らない）を扱える普遍的かつ抽象的なトリパスからトポスへの構成の特徴づけを提供すること。
• 元来の構成における関手的でない問題を、トリパス間の特定のクラスのカルテジアン関手に対してオプラックス関手を用いることで解決すること。
• トリパスからトポスへの構成を2段階に分解すること：まず弱化された準トポス（q-topos）へ、次にトポスへと。これにより構造的分析が明確化される。
• トポス間の関手がトリパスによって誘導される場合、それらの関手に関する問いを、それらの背後に位置するトリパス間の準同型に関する問いに還元できる枠組みを確立すること。
• 特に2-圏と設備（equipment）を用いた高次元圏論を用いることで、既存の手法を一般化し、トリパスとトポスの論理的・圏論的構造を扱えるようにすること。

提案手法

• 本稿は、トリパスからトポスへの構成におけるオプラックス関手を扱うために必要な2-圏的枠組みをモデル化するため、設備的構造に類似した構造の豊かに重み付けられた2-圏のカテゴリを用いる。
• トリパスの2-圏と準トポスの2-圏の間のバイアドゥイング F ⊣ S を導入し、構成の第一段階を捉える。
• 準トポスの2-圏とトポスの2-圏の間の第二のバイアドゥイング T ⊣ U を確立し、トリパスからトポスへの全過程の分解を完成させる。
• 非正規の準同型を扱うために、ファイブレーション的完備化とトリパスの内部論理を含む2次元圏論的道具を用いて構成を分析する。
• 明示的な文脈と等価性規則を備えた非拡張的高次元直観論理（intuitionistic logic）を用い、トリパスの内部言語とその準同型を形式化する。
• この枠組みにより、有限極限と有限積のみを保存するトリパス準同型を通じて、幾何的同型と部分トポスの体系的分析が可能になる。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、正規のものに限らないすべての幾何的同型を扱える普遍的なトリパスからトポスへの構成の特徴づけが可能になるか？
• RQ2 とりわけ関手的性にかかわる点において、トリパスからトポスへの構成の正確な2-圏的構造は何か？
• RQ3 トリパスからトポスへの構成は、その圏論的および論理的構成要素を明確にするために、中間段階に分解可能か？
• RQ4 有限極限と有限積のみを保存するトリパス準同型は、それによって誘導されるトポス間の関手にどのように作用するのか？特に、そのような保存性がもたらす影響は？
• RQ5 この分解において、q-toposがトリパスとトポスの間の中間的構造として果たす役割は何か？

主な発見

• トリパスからトポスへの構成は、トリパスとq-toposの間のバイアドゥイング F ⊣ S と、q-toposとトポスの間のバイアドゥイング T ⊣ U の合成として特徴づけられる。
• 中間的構造としてのq-toposは、準トポスの弱化版として特定され、構成における自然な中間段階を提供する。
• 構成は、特定のクラスのカルテジアン関手に対してのみオプラックス関手的であるため、バイアドゥイングなどの2-圏的道具の使用が不可避である。
• この枠組みは、有限極限と有限積のみを保存する非正規準同型をうまく扱い、従来の2-圏的アプローチの制限を克服した。
• 分析により、トポス間の関手に関する問いを、それらの背後に位置するトリパス間の準同型に関する問いに還元する体系的手段が得られた。
• 本稿は、幾何的同型と部分トポスが、それらに対応するトリパス間の類似構造に帰着できることを示しており、トリパスレベルでの計算がより扱いやすくなる。