[論文レビュー] fc-multicategories

Tom Leinster|arXiv (Cornell University)|Feb 28, 1999

Advanced Algebra and Logic被引用数 3

ひとこと要約

この論文は、2次元的カテゴリカル構造の一般化として、fc-multicategoriesを導入し、双圏、モノイダル圏、二重圏、およびマルチ圏を統合する。fc-multicategoriesが双モジュール構成と豊かさの理論を自然に支持することを示し、古典的なカテゴリカル理論をより一般的で概念的に整合性のある枠組みへと拡張する。

ABSTRACT

fc-multicategories are a very general kind of two-dimensional structure, encompassing bicategories, monoidal categories, double categories and ordinary multicategories. We define them and explain how they provide a natural setting for two familiar categorical ideas. The first is the bimodules construction, traditionally carried out on suitably cocomplete bicategories but perhaps more naturally carried out on fc-multicategories. The second is enrichment: there is a theory of categories enriched in an fc-multicategory, extending the usual theory of enrichment in a monoidal category. We finish by indicating how this work is just the simplest case of a much larger phenomenon.

研究の動機と目的

• 双圏、モノイダル圏、二重圏、および通常のマルチ圏を統合する一般化された2次元的カテゴリカル構造を形式化すること。
• 従来、cocompleteな双圏に限定されていた双モジュール構成が、fc-multicategories上でより自然に定義できることを示すこと。
• モノイダル圏における豊かさの理論を、fc-multicategoriesにおける豊かさへと拡張すること。
• fc-multicategoriesを、高次元構造を含むより広範なカテゴリカル現象の基本的ケースとして位置づけること。

提案手法

• 2-セルと合成則を備えたマルチ圏の一般化としてfc-multicategoriesを定義し、対象と射を同時に扱えるようにすること。
• 双モジュール構成がfc-multicategoryの枠組み内で自然に定式化できるような、表現可能性の概念を導入すること。
• fc-multicategoryにおけるカテゴリの豊かさの理論を構築し、一般化された作用構造を通じてモノイダル圏における豊かさを一般化すること。
• 普遍的性質と2次元的合成則を用いて、構造間の整合性と自然性を保証すること。
• fc-multicategoriesにおける双モジュールと豊かさの構成が、期待される普遍的性質を満たすことを示すこと。
• このフレームワークを、高次元カテゴリカル構造のより広い理論の基礎的ケースとして位置づけること。

実験結果

リサーチクエスチョン

• RQ1 双モジュール構成は、cocompleteな双圏に限定されないより広範なカテゴリカル設定へとどのように一般化できるか？
• RQ2 fc-multicategoriesは、従来のモノイダル圏と比較して、豊かさの設定としてなぜより自然であるか？
• RQ3 fc-multicategoriesが双圏や二重圏といった多様な2次元的枠組みを統合できる構造的特徴は何か？
• RQ4 fc-multicategoriesの普遍的性質は、豊かさのカテゴリと双モジュールの構成をどのように支援するか？
• RQ5 fc-multicategoriesは、高次元カテゴリカル構造のより広い理論における基礎的ケースとして果たす役割は何か？

主な発見

• fc-multicategoriesは、双圏、モノイダル圏、二重圏、および通常のマルチ圏を自然に含む統合的フレームワークを提供する。
• 双モジュール構成が、cocompletenessを要件としないfc-multicategoryの文脈で、より自然に定義され、普遍的に特徴づけられることを示した。
• fc-multicategoryにおけるカテゴリの豊かさの理論が構築され、モノイダル圏における豊かさの古典的理論がより広い文脈へと拡張された。
• このフレームワークは、標準的な双モジュールと豊かさの構成が、fc-multicategoriesに内在する普遍的性質から生じることを明らかにした。
• 結果として、fc-multicategoriesは技術的一般化にとどまらず、高次元カテゴリカル現象のより広いクラスの基礎的構造であることが示唆された。