[論文レビュー] Exponentiability via Double Categories

Susan Niefield|arXiv (Cornell University)|Dec 6, 2011

Computability, Logic, AI Algorithms参考文献 13被引用数 4

ひとこと要約

本稿は、二重圏と緩いファンクターを用いて、小さな圏、位相空間、ロケール、順序集合などのさまざまな圏における指数可能射の統一的特徴づけを確立する。B を小さな圏とするとき、射 Y → B が圏 Cat/B の中で指数可能であることと、B から二重圏への対応する正規緩いファンクターが、追加の条件を満たす双関手であることは、必要十分であることが示され、既知の圏論および位相幾何学の結果を一般化する。

ABSTRACT

We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.

研究の動機と目的

• 小さな圏 B に関するスライス圏 Cat/B における、圏の二重圏への緩いファンクターと同値な関係を、より広いクラスの二重圏へ一般化すること。
• 小さな圏 B に関するスライス圏における指数可能射を、対応する正規緩いファンクターの性質を用いて特徴づけること。
• 二重圏を用いて、指数可能空間、関手、順序集合の既存の特徴づけを、一つの圏的枠組みで統一すること。
• 小さな圏の圏から、位相空間、ロケール、順序集合へと、同一の構造的基準を適用することで結果を拡張すること。

提案手法

• 小さな圏 B から二重圏 \bbD への垂直正規緩いファンクターの圏 \text{Lax}_N(B, \bbD) を定義し、その射は水平緩い自然変換で与える。
• 既知の同値関係 \text{Lax}_N(B, \text{Cat}) \to \text{Cat}/B を、特に位相的および順序的構造をモデル化する二重圏を含む、より広いクラスの二重圏へ一般化する。
• Street が示したように、\text{Cat}/B における指数可能性が、対応する緩いファンクターが双関手であることと同値であるという事実を用いる。
• \text{Cat} におけるすべての X \to B に対して成り立つ追加の条件を、緩いファンクターに導入し、双関手性と併せて、\bbD_0/B における指数可能性を特徴づける。
• \bb{Cat}、\bb{Top}、\bb{Loc}、\bb{Poset} といった特定の二重圏に一般化された基準を適用し、指数可能性の統一的条件を導出する。
• スコット位相、特化順序、およびロケールにおける局所コンパクト性の性質を活用して、位相的および順序的設定における追加条件の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 二重圏 \bbD に対して、スライス圏 \bbD_0/B における射 Y \to B が指数可能であるための条件は何か？
• RQ2 \text{Cat}/B における射の指数可能性は、対応する正規緩いファンクター B \to \bb{Cat} の構造をどのように特徴づけられるか？
• RQ3 二重圏を用いて、\text{Cat}/B における指数可能関手の特徴づけを、位相空間やロケールなどの他の圏へ拡張できるか？
• RQ4 \bbD_0/B における指数可能性を保証する、双関手性を超えた追加の構造的条件は何か？ そして、異なる二重圏においてその条件はどのように変化するか？
• RQ5 二重圏と緩いファンクターを用いた、一様な圏的枠組みが、多様な数学的圏における指数可能射の特徴づけを統一的に提供できるか？

主な発見

• 射 Y \to B が \bbD_0/B で指数可能であることと、対応する正規緩いファンクター B \to \bbD が双関手であり、かつ \text{Cat} 内のすべての X \to B に対して成り立つ追加条件を満たすことは、必要十分である。
• この特徴づけは、Street が \text{Cat}/B における指数可能関手が緩いファンクターが双関手であることと同値であると示した結果を一般化する。
• 二重圏 \bb{Top} に対しては、Y \to B が指数可能であることと、対応する緩いファンクターが双関手であり、かつすべての b \to c に対して Y_b \to Y_c が二重連続であることと同値である。
• 二重圏 \bb{Loc} に対しては、Y \to B が指数可能であることと、緩いファンクターが双関手であり、かつすべての b \to c に対して Y_b \to Y_c が二重連続であることと同値である。
• 本結果により、同一の構造的基準に基づいて、\text{Cat}/B、\text{Top}/B、\text{Loc}/B、\text{Poset}/B における指数可能射が同時に特徴づけられる一様な定理が得られる。
• 位相的および順序的設定において、\bbD_0/B における指数可能性に必要な追加条件は、関連する開集合のフレームにおけるスコット位相および局所コンパクト性の性質を用いて検証される。