[論文レビュー] Two Models for the Homotopy Theory of Cocomplete Homotopy Theories

Karol Szumiło|arXiv (Cornell University)|Nov 2, 2014

Homotopy and Cohomology in Algebraic Topology被引用数 6

ひとこと要約

この論文は、cofibration categoryのホモトピー理論とcocomplete quasicategoryのホモトピー理論の間の同値性を、両者にファイブレーションカテゴリ構造を構成し、明示的な関手を介して同値であることを示すことによって確立する。主な貢献は、cofibration categoryの単体的局所化を実現する新しい関手—「フレームのquasicategory」—の導入であり、これによりそのホモトピー型を明示的に記述可能とし、型理論や高階圏論への応用を容易にする。

ABSTRACT

We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theories as fibration categories and constructing an explicit equivalence between them.

研究の動機と目的

• cofibration categoryのホモトピー理論とcocomplete quasicategoryのホモトピー理論の間の同値性を確立すること。
• Hoveyが提起した『モデル2-圏としてのモデル圏』の基礎的問題を、cofibration categoryのファイブレーションカテゴリの構成によって解決すること。
• cofibration categoryの単体的局所化を実現する新しい明示的関手—「フレームのquasicategory」—を提供すること。
• 依存型理論のカテゴリカルモデルの単体的局所化が、局所的にカルテジアン閉じたquasicategoryをもたらすことを示すこと。
• quasicategoryを用いて型理論的モデルから生じるホモトピー型を、具体的かつ計算可能な記述で与えること。

提案手法

• cofibration categoryの圏にファイブレーションカテゴリ構造を構成し、Hoveyが提起した『モデル2-圏としてのモデル圏』に関する問いに肯定的な回答を与える。
• cofibration categoryからcocomplete quasicategoryへの関手である「フレームのquasicategory」を導入し、局所化に適した性質を持つ。
• 単体的集合上の図式とcocomplete quasicategoryを関連付ける関手 Dgκ を用い、弱同値の構成を可能にする。
• 経路対象の理論と2-自然性を用いて、ホモトピー圏上の誘導関手が同値であることを示す。
• 有限の場合（κ = ℵ₀）では、有限単体的集合（D^(k)K）上の余極限を用いて、Dg_ℵ₀N_fC と C の間の弱同値のズイーザックを定義する。
• 普遍的錐、シーブ、最終的定数性の性質に依拠し、フレーム関手がコーブレーション、弱同値、正確性を保存することを検証する。

実験結果

リサーチクエスチョン

• RQ1 cofibration categoryの圏にファイブレーションカテゴリ構造は存在するか。これにより、『モデル2-圏としてのモデル圏』が弱い意味で実現可能か？
• RQ2 cofibration categoryの単体的局所化は、cocomplete quasicategoryへの関手によって具体的に記述可能か？
• RQ3 フレームのquasicategory関手は、既存の構成よりもより便利で明示的な局所化の記述を提供するか？
• RQ4 cofibration categoryのホモトピー理論は、cocomplete quasicategoryのホモトピー理論と完全に同値か？
• RQ5 この同値性は、高階圏論における依存型理論のモデルにどのような意味を持つか？

主な発見

• cofibration categoryの圏はファイブレーションカテゴリ構造を備えており、Hoveyが提起した『モデル2-圏としてのモデル圏』の存在に関する問いに解決する。
• cocomplete quasicategoryの圏に対してもファイブレーションカテゴリ構造が存在し、両者はファイブレーションカテゴリとして同値である。
• 関手 N_f: CofCat_κ → QCat_κ（「フレームのquasicategory」）は、ファイブレーションカテゴリとしての弱同値であり、主な同値性を確立する。
• cofibration categoryに対して、単体的局所化はフレームのquasicategoryと同値であり、局所化の明示的実現が得られる。
• この構成により、任意の依存型理論のカテゴリカルモデルの単体的局所化が、局所的にカルテジアン閉じたquasicategoryであることが示せる。
• 有限の場合（κ = ℵ₀）では、Dg_ℵ₀N_fC と C の間の弱同値のズイーザック（3つの弱同値）が構成され、中央の関手は有限図式 D^(k)K 上の余極限によって定義される。