[論文レビュー] A Survey of Definitions of n-Category

Tom Leinster|arXiv (Cornell University)|Jul 25, 2001

Educational Technology and Assessment被引用数 47

ひとこと要約

この論文は、弱い $n$-圏の10種類の異なる定義を調査し、それぞれを簡潔で自己完結的な2ページの形式で提示することで、理解のしやすさと明確さを高めている。弱い $n$-圏が $n \leq 2$ の場合、標準的な概念—集合、圏、および2圏—と一致することを示しており、低次元における定義の整合性を裏付けている一方で、高次元における異なる定義同士の比較の継続的な課題を浮き彫りにしている。

ABSTRACT

Many people have proposed definitions of `weak n-category'. Ten of them are presented here. Each definition is given in two pages, with a further two pages on what happens when n = 0, 1, or 2. The definitions can be read independently. Chatty bibliography follows.

研究の動機と目的

• 弱い $n$-圏の定義を、それらが本質的に曖昧または取り扱いにくいとされるという誤解を是正するために、明確でアクセス可能で自己完結的な形式で提示すること。
• 定義が $n \leq 2$ の場合に既知の数学的構造—例えば $n=0$ で集合、$n=1$ で圏、$n=2$ で2圏—と整合することを示すことにより、提案された定義の妥当性を検証すること。
• 異なるアプローチを体系的にまとめ、弱い $n$-圏の定義を比較・同等化しようとすることなく、研究者にとっての参照フレームワークを提供すること。
• 高次圏理論における基礎的課題である、特に $n > 2$ の場合に普遍的に受け入れられた弱い $n$-圏の定義が存在しないという問題に取り組むこと。
• 定義とその根幹となる要素を分離することで、将来的な比較作業を支援し、異なる形式主義間での同値性と整合性の体系的分析を可能にすること。

提案手法

• 弱い $n$-圏の各定義は、読解性と認知的負荷の低減を図るために、最小限で明確な記法を用いて、独立的かつ形式的に2ページの範囲に要約されている。
• テーマの類似性に従って定義がグループ化されているが、順序に特に意味はなく、各定義は他の定義の知識がなくても独立して解釈可能で自己完結的であるように設計されている。
• 論文は $n = 0, 1, 2$ の場合を専用の2ページで分析し、弱い $n$-圏がそれぞれ集合、圏、2圏に還元されることを示している。
• 論文は弱い関手、変換、または $n$-圏間の同値性の定義を避け、$n$-圏構造自体の定義にのみ焦点を当てる。
• 基礎的かつ動機づけられる文献への道しるべとなる、口語的で技術的でない参考文献リストを含んでおり、文献の包括的調査を意図したものではない。
• レイアウトは両面印刷に最適化されており、各完全な定義が1枚の両面ページに収まるよう設計されており、視覚的・概念的明確性が向上している。

実験結果

リサーチクエスチョン

• RQ1 弱い $n$-圏は、一般的にそれらの定義が複雑であるとされるという認識にもかかわらず、簡潔で理解しやすい形で定義可能だろうか？
• RQ2 提案された弱い $n$-圏のさまざまな定義は、$n \leq 2$ の場合に既知の数学的対象—集合、圏、2圏—と整合するだろうか？
• RQ3 高次圏的構造、例えばオペラッド、マルチカテゴリ、コンピュードが弱い $n$-圏の定式化において果たす役割は何か？
• RQ4 弱い $(n+1)$-圏の $n$-圏の定義がなければ、弱い $n$-圏の定義同士をどのように比較できるだろうか？
• RQ5 厳密な $n$-圏と弱い $n$-圏の関係は何か？特に、厳密な2圏と弱い2圏の同値性が $n > 2$ に一般化されないという事実を踏まえて。

主な発見

• 弱い $n$-圏の10の定義すべてが、自己完結的かつアクセス可能な形で形式的に提示されており、それぞれが2ページに収まっている。これにより、このような定義が本質的に取り扱いにくいものではないことが示された。
• $n = 0$ の場合、弱い $n$-圏は集合であることが示された。$n = 1$ の場合、それは圏である。$n = 2$ の場合、それは2圏である。これにより、低次元における定義が既存の数学的概念と整合していることが確認された。
• 論文は、厳密な $n$-圏は定義が容易であるが、$n > 2$ の弱いケースは本質的により複雑であると確立している。これは、厳密な2圏と弱い2圏の同値性が一般化されないからである。
• 定義は意図的に独立させられており、同値性や比較へのコミットメントを避けている。これにより、将来的な研究者が事前の仮定なしにそれらの関係を評価できるようになっている。
• 弱い $n$-圏の定義同士の比較は、本質的に循環的であることが強調された。なぜなら、そのような比較には、$n$-圏の弱い $(n+1)$-圏の定義が必要となるからである。
• 著者は、熟知が不足しているため一部の定義が省かれたことを認め、読者は追加の文脈や動機づけを得るための「Further Reading」セクションを参照することを招待している。