[論文レビュー] Fibered Categories a la Jean Benabou

Thomas Streicher|arXiv (Cornell University)|Jan 9, 2018

Homotopy and Cohomology in Algebraic Topology被引用数 6

ひとこと要約

この論文は、ケン・ベナブーのファイバードカテゴリに関する基礎的業績を包括的かつ理解しやすい形で解説しており、圏論的論理およびトポス理論におけるその役割に焦点を当てる。引き戻しを備えたベース圏上のファイブレーションの理論を体系的に展開し、分裂ファイブレーション、ベース変換関手、幾何的同型写像のファイブレーション的表現といった重要な構造を特徴づけ、最終的に有界性のファイブレーション的特徴づけおよび原子的、局所的に連結、ハイパーコネクテッド型などの幾何的同型写像の性質を明らかにする。

ABSTRACT

These are notes about the theory of Fibred Categories as I have learned it from Jean Benabou. I also have used results from the Thesis of Jean-Luc Moens from 1982 in those sections where I discuss the fibered view of geometric morphisms. Thus, almost all of the contents is not due to me but most of it cannot be found in the literature since Benabou has given many talks on it but most of his work on fibered categories is unpublished. But I am solely responsible for the mistakes and for misrepresentations of his views. And certainly these notes do not cover all the work he has done on fibered categories. I just try to explain the most important notions he has come up with in a way trying to be as close as possible to his intentions and intuitions. I started these notes in 1999 when I gave a course on some of the material at a workshop in Munich. They have developed quite a lot over the years and I have tried to include most of the things I want to remember.

研究の動機と目的

• ファイバードカテゴリに関するジャン・ベナブーの未発表だが影響力のある業績を明確化し体系化すること、特にその論理的および圏論的意義に焦点を当てる。
• ファイバードカテゴリを圏論の基礎的道具として、特にトポス理論および圏論的論理の文脈で、自己完結的かつ理解しやすい形で提示すること。
• 局所的に連結、原子的、ハイパーコネクテッド型といった幾何的同型写像を、ファイブレーション的構造およびベース変換関手を通じて特徴づけること。
• 内部極限および随伴関手を用いて、有界性および表現可能性のファイブレーション的特徴づけを確立すること。
• ベナブーの講義および未発表ノートからの知見を、特にベース変換および随伴関手の観点から統合・拡張すること。

提案手法

• 擬関手およびファイバードカテゴリの枠組みを用い、引き戻しを備えたベース圏 B 上の圏の族をモデル化し、関手の族および制限関手の一般化として扱う。
• ベース圏のすべての射に関して、カルテジアン上に引き戻しを備えることでファイブレーションを定義し、引き戻しが一様に構成可能であることを保証する。
• 関手をファイブレーションとして表現するためのファイバードヤヌス補題を導入し、古典的ヤヌス補題をファイブレーション的状況に一般化する。
• ベース圏内の射に沿った引き戻しを通じてベース変換関手を分析し、ファイブレーション的構造および随伴性質を保つことを示す。
• 随伴関手の定理を適用して、依存積および指数関手の保存を介して局所的に連結な幾何的同型写像を特徴づける。
• 内部極限および完全ファイブレーションを用いて、有界な幾何的同型写像およびファイブレーション的文脈における表現可能性を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 ファイバードカテゴリは、圏論における関手の族および制限関手の一般化として、どのように体系的に展開できるか？
• RQ2 トポス間の幾何的同型写像—特に局所的に連結、原子的、ハイパーコネクテッド型—を特徴づけるファイブレーション的条件は何か？
• RQ3 ベース変換関手は、ファイブレーション的圏における随伴および極限とどのように相互作用するか？
• RQ4 内部極限および完全ファイブレーションは、幾何的同型写像における有界性とどのように関係するか？
• RQ5 表現可能性およびモノモノイドの定義可能性は、どのようにファイブレーション的観点から特徴づけられるか？

主な発見

• 幾何的同型写像 F ⊣ U: E → S が局所的に連結であるための必要十分条件は、F が依存積を保存すること、あるいは同値に、すべての I ∈ S に対して、ベース変換関手 F/I が指数関手を保存することである。
• 局所的に連結な幾何的同型写像が連結であるための必要十分条件は、その左随伴 L が終対象を保存することであり、これはその随伴の単位が終対象上で同型であることを意味する。
• 幾何的同型写像が原子的であるための必要十分条件は、F が論理的であること、すなわち E 内のすべてのモノモノイドが随伴の単位 L ⊣ F を用いて S で定義可能であることである。
• Sierpiński トポス Set^{2^op} は Set 上で局所的に連結であるが、原子的ではない。なぜならその終対象は分子ではあるが、原子ではないからである。これは真に非自明な非始点部分対象を持つためである。
• Set 上の原子的プレシェーヴィングトポスは、ある小さな群のoid G に対して Set^{G^op} と同型であり、そのようなトポスでは Sub_E(A) ≅ P(LA) が成り立つ。これにより、部分対象格子は原子的である。
• 有界性のファイブレーション的特徴づけは、ファイブレーション的圏における内部極限の存在を介して達成され、完全ファイブレーションは有界な幾何的同型写像の本質的構造を捉えている。