[論文レビュー] Closed categories vs. closed multicategories

Oleksandr Manzyuk|ArXiv.org|Apr 20, 2009

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

ひとこと要約

この論文は、エイレンバーグとケリーが定義した閉圏の2カテゴリと、閉マルチカテゴリの完全な2部分カテゴリとの間の同値性を確立する。すべての閉マルチカテゴリは、下位関手を介して閉圏に帰着可能であり、逆にすべての閉圏は閉マルチカテゴリから得られる。これらの構成は同値性の下で互いに逆であることが示される。

ABSTRACT

We prove that the 2-category of closed categories of Eilenberg and Kelly is equivalent to a suitable full 2-subcategory of the 2-category of closed multicategories.

研究の動機と目的

• 閉圏と閉マルチカテゴリの間の厳密な圏論的同値性を確立すること。
• $A_{\nu}$-関手の内部ホムに関して閉じた$A_{\nu}$-圏の存在の概念的基盤を提供すること。
• マルチカテゴリ的形式を用いて、モノイダル閉圏とより一般的な閉構造との関係を明確にすること。
• 特にモノイダル構造が存在しない文脈において、閉マルチカテゴリが閉モノイダル圏の自然な一般化として形式化されること。

提案手法

• 閉マルチカテゴリの2カテゴリから閉圏の2カテゴリへの関手を構成し、下位の閉圏構造を抽出する。
• マルチカテゴリにおいて、多変数線形写像の普遍性を満たす内部ホム対象$\underline{{\mathsf{V}}}(X_1,\dots,X_m;Z)$と評価準同型を定義する。
• $A_{\infty}$-圏のマルチカテゴリが閉であることを示し、$A_{\infty}$-関手の$A_{\infty}$-圏の概念的起源を提供する。
• 閉圏${\mathcal{V}}$からその関連するマルチカテゴリ${\mathsf{V}}$への標準的関手$L: {\mathcal{V}} \to {\mathsf{V}}$が、圏としての同型であることを確立する。
• 閉圏における自然変換$i_X$、$j_X$、$L^X_{YZ}$が、関手$L$を介してマルチカテゴリ的構造から生じることを検証する。
• マルチカテゴリにおける評価の普遍性を用いて、閉圏の公理を再構成し、完全な同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 閉圏の2カテゴリと閉マルチカテゴリの完全な2部分カテゴリとの間には2カテゴリ的同値性が存在するか？
• RQ2 $A_{\infty}$-関手の$A_{\infty}$-圏の構造は、閉マルチカテゴリから生じると理解できるか？
• RQ3 閉マルチカテゴリにおける内部ホムと評価構造は、閉圏におけるそれらとどのように関係するか？
• RQ4 モノイダル積が存在しない文脈において、閉モノイダル圏と閉マルチカテゴリの正確な関係は何か？
• RQ5 すべての閉圏は、標準的な方法で閉マルチカテゴリから再構成可能か？

主な発見

• 閉圏の2カテゴリは、閉マルチカテゴリの2カテゴリの完全な2部分カテゴリと同値である。
• すべての閉マルチカテゴリは、内部ホムと評価構造を保存する標準的構成を介して、閉圏に帰着可能である。
• 閉圏${\mathcal{V}}$からその関連マルチカテゴリ${\mathsf{V}}$への標準的関手$L: {\mathcal{V}} \to {\mathsf{V}}$は、圏としての同型である。
• 閉圏における自然変換$i_X$、$j_X$、$L^X_{YZ}$は、マルチカテゴリ的評価と合成則から誘導される。
• 閉圏における射$L^X_{YZ}: \underline{{\mathcal{V}}}(Y,Z) \to \underline{{\mathcal{V}}}(\underline{{\mathcal{V}}}(X,Y), \underline{{\mathcal{V}}}(X,Z))$は、関手$L$の下で$L^{L^X_{YZ}}$に対応する。
• 閉マルチカテゴリにおける評価の普遍性により、閉圏の公理が満たされることを保証し、同値性が確認される。