[論文レビュー] An alternative characterisation of universal cells in opetopic n-categories

Eugenia Cheng|ArXiv.org|Apr 21, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 3

ひとこと要約

本稿は、opetopic $n$-カテゴリーにおける普遍細胞の代替的特徴づけを提案する。$k$-細胞との合成を$(n-k)$-カテゴリーのスパンとして定義し、そのスパンが同値を誘導するならば、その細胞が普遍であることを示す。主な貢献は、合成における任意の選択を避けるより自然な普遍性の定義を提供することであり、$n \leq 2$ において元の定義と同等であることが確認されている。このアプローチは、射が同型である iff それとの合成が同型であるという圏論的原則を、opetopic $n$-カテゴリーにおける非一意な合成に適応したものである。

ABSTRACT

We address the fact that composition in an opetopic weak n-category is in general not unique and hence is not a well-defined operation. We define composition with a given k-cell in an n-category by a span of (n-k)-categories. We characterise such a cell as universal if its composition span gives an equivalence of (n-k)-categories.

研究の動機と目的

• opetopic $n$-カテゴリーにおける合成の非一意性が、合成を一貫した演算として定義できないことを是正すること。
• 合成における任意の選択を避ける、より自然な普遍性の代替的特徴づけを提供すること。
• 射が同型である iff それとの合成が同型であるという圏論的原則を、opetopic $n$-カテゴリーの文脈に一般化すること。
• $(n-k)$-カテゴリーのスパンを用いた新しい普遍性の枠組みを確立し、弱い高次圏の精神に沿わせること。

提案手法

• 合成における$k$-細胞を、$(n-k)$-カテゴリーのスパンとして定義し、その細胞と合成可能なすべての方法を捉える。
• その合成スパンが$(n-k)$-カテゴリーの同値を誘導するならば、$k$-細胞を普遍と特徴づける。
• スパンに基づく定義を用いて、opetopic $n$-カテゴリーにおける元の普遍性の概念を再定式化する。
• explicitな低次元の解析により、$n \leq 2$ において新旧の定義が同等であることを検証する。
• Hermida, Makkai, および Power に従い、$k$-細胞のソース要素の順序付けのための慣習を採用する。
• paste図と因子化構造を用いて、opetopic setにおける合成と普遍性をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 opetopic $n$-カテゴリーにおける普遍性は、因子化条件の代わりに低次元のカテゴリーのスパンを用いて再定義可能か？
• RQ2 低次元のケース（$n \leq 2$）において、スパンに基づく普遍性の特徴づけは元の定義と一致するか？
• RQ3 新しい特徴づけは、合成による同型基準といった標準的な圏論的原則と、より自然に整合しているか？
• RQ4 スパンに基づくアプローチは、弱い$n$-カテゴリーにおける整合性を保ちつつ、合成における任意の選択を回避できるか？
• RQ5 高次元において、新しい普遍性条件と元の条件との関係は何か？

主な発見

• $n=0$ では、$k > n$ であるすべての$k$-細胞が定義上普遍であるため、新旧の普遍性の定義は自明に一致する。
• $n=1$ では、スパンに基づく普遍性の特徴づけは元の定義と同等である：1-細胞が普遍である iff その誘導写像がホムセットの同型である。
• $n=2$ では、新しい定義は元の定義と一致する：1-細胞が普遍である iff 要因化の圏の間の誘導写像が1-カテゴリーの同値である。
• スパンに基づくアプローチは、一意な選択を必要とせず、合成の本質的構造を的確に捉え、射$f$が同型 iff $- \circ f$ が同型であるという圏論的原則に整合する。
• $n \leq 2$ において、二つの定義の同等性は明示的に確認されているが、計算の複雑さのため、任意の次元における一般化された証明は未解決のままである。
• 新しい特徴づけは概念的により満足できるものであり、標準的な圏論的直観とよりよく整合するが、形式的表現としてはやや「洗練されていない」。