[論文レビュー] An embedding theorem for adhesive categories

Stephen Lack|arXiv (Cornell University)|Mar 3, 2011

Advanced Numerical Analysis Techniques参考文献 6被引用数 7

ひとこと要約

本稿は、アドヒビット圏の埋め込み定理を確立し、すべての小さなアドヒビット圏が有限極限および単射に沿った余極限を保存するようにトポスに完全かつ忠実に埋め込まれることを証明する。主な貢献は、アドヒビット圏が定義する厳密性条件が、任意のトポスにおいて単射に沿った余極限と引き戻しの間の相互作用を正確に捉えていることである。

ABSTRACT

Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also prove a converse: every small adhesive category has a fully faithful functor in a topos, with the functor preserving the all the structure. Combining these two results, we see that the exactness conditions in the definition of adhesive category are exactly the relationship between pushouts along monomorphisms and pullbacks which hold in any topos.

研究の動機と目的

• 既知の事実「すべてのトポスはアドヒビットである」の逆を確立すること、すなわちすべての小さなアドヒビット圏が完全かつ忠実にトポスに埋め込めるということを証明すること。
• アドヒビット圏の定義における厳密性条件が、任意のトポスにおいて単射に沿った余極限と引き戻しに対して成立する条件を正確に特定していることの証明。
• 単射に沿った余極限と引き戻しの間の構造的相互作用を捉えるカテゴリカルな枠組みの提供。
• 正則圏や広義圏における埋め込み定理のパターンを、アドヒビット圏の文脈へと拡張すること。

提案手法

• 単射に沿った余極限の平方によって生成される、小さなアドヒビット圏上のグロテンディーク位相を構成する。
• 圏上のプレシアーブの圏へのヤオの埋め込みを用い、定義された位相における完全部分圏であるシャーブの圏に制限する。
• 単射に沿った余極限の生成被覆について、シャーブ条件を検証することで、ヤオの埋め込みがシャーブの圏に値をとることを証明する。
• ヤオの埋め込みが常にすべての有限極限を保存することを用いて、制限されたヤオ関手がすべての有限極限を保存することを示す。
• シャーブが単射に沿った余極限を集合圏における極限に送ることを示し、シャーブ条件と特定の写像の共同単射性を用いて、単射に沿った余極限の保存を証明する。
• 補題3.3を適用し、核対の構造を分析し、特定の写像の共同単射性を用いてシャーブ条件における必要な一意性を確立する。

実験結果

リサーチクエスチョン

• RQ1 すべての小さなアドヒビット圏は、その構造的特徴を保存するように完全かつ忠実にトポスに埋め込めるか？
• RQ2 アドヒビット圏の定義における厳密性条件は、任意のトポスにおいて単射に沿った余極限と引き戻しに対して成立する条件を正確に特定しているか？
• RQ3 適切なシャーブの圏へのヤオの埋め込みは、アドヒビット圏における単射に沿った余極限を保存するか？
• RQ4 小さなアドヒビット圏上に、シャーブの圏がトポスをなし、埋め込みが必要な余極限および極限を保存するようなグロテンディーク位相が存在するか？
• RQ5 極限と余極限の相互作用の観点から、アドヒビット圏とトポスとの間の明確なカテゴリカルな関係は何か？

主な発見

• すべての小さなアドヒビット圏は、すべての有限極限および単射に沿った余極限を保存するようにトポスに完全かつ忠実に埋め込める。
• 埋め込みは、単射に沿った余極限の平方によって生成されるグロテンディーク位相に対するシャーブの圏へのヤオの埋め込みによって構成される。
• この位相におけるシャーブ条件により、ヤオの像がシャーブの圏に属することを保証し、埋め込みの完全性と忠実性を実現する。
• 単射に沿った余極限の保存は、核対の構造から導かれる特定の写像の共同単射性を用いて、シャーブがそれらの余極限を集合圏における極限に送ることを示すことによって確立される。
• 証明は補題3.3に依拠しており、これは特定の単射に沿った余極限が引き戻しであることを示し、シャーブ条件の検証を可能にする。
• この結果により、アドヒビット圏の公理が、任意のトポスにおいて単射に沿った余極限と引き戻しの間の厳密性条件を正確に捉えていることが確認される。