[論文レビュー] Spans in 2-Categories: A monoidal tricategory

Alexander E. Hoffnung|arXiv (Cornell University)|Dec 2, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 14

ひとこと要約

この論文は、Trimbleの生成子と関係による定義を用いて、1対象の四次元圏を構成することで、有限極限を備えた厳密2-圏におけるスパンがモノイダル三圏をなすことを確立する。重み付き厳密2-極限、特に同型コム・オブジェクトとW-重み付きプルバックを用いて、逆変換をもつ2-セルを備えたプルバックを定義し、三圏構造における整合性を保証する。主な貢献は、結合則および単位則の変換が恒等射でない随伴同値である半厳密な三圏の構造を備えたスパンの三圏を構成することであり、これはグレイ圏とは区別される。

ABSTRACT

We present Trimble's definition of a tetracategory and prove that the spans in (strict) 2-categories with certain limits have the structure of a monoidal tricategory, defined as a one-object tetracategory. We recall some notions of limits in 2-categories for use in the construction of the monoidal tricategory of spans.

研究の動機と目的

• 厳密2-圏に有限極限を備えたスパンがモノイダル三圏をなすことの確立。
• 生成子と関係によるTrimbleの四次元圏定義を用いた、この三圏の明示的構成。
• 重み付き厳密2-極限、特にW-重み付きプルバックと同型コム・オブジェクトの役割を明らかにし、逆変換をもつ2-セルを備えた整合的なプルバックを定義すること。
• 結果として得られる三圏が半厳密であることを示すこと：変換は自明であるが、結合則および単位則の随伴同値は恒等射でないため、グレイ圏構造とはならないこと。

提案手法

• 1対象の四次元圏としてのTrimbleの四次元圏定義を用い、モノイダル三圏を定義する。
• 厳密2-圏Cにおけるスパンを、共通の終域をもつ1-射として定義し、可換なコーンによって2-射を与える。
• 特にW-重み付きプルバックを用いて、逆変換をもつ2-セルを備えた擬似プルバックをモデル化する。
• 逆変換を射影の間に導入する非コネイカルな重み関手W: D → Catを用いて、極限のコーンを構成する。
• 厳密な逆変換をもつ自然変換φを用いて普遍性を確立し、比較写像の全忠実性と一意性を保証する。
• φAによる同型を用いて、コーン間の変換が一意な2-射に対応することを示し、整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 有限極限を備えた厳密2-圏におけるスパンは、モノイダル三圏構造をもたせることができるか？
• RQ2 W-重み付きプルバックのような重み付き厳密2-極限は、逆変換をもつ2-セルを備えた整合的なスパンの構成をどのように支援するか？
• RQ3 変換が自明であるにもかかわらず、結果として得られる三圏がなぜグレイ圏とはならないのか？
• RQ4 結合則および単位則における随伴同値の役割は、この三圏をより厳密な構造とどのように区別するか？
• RQ5 プルバック構成における同型コム・オブジェクトと逆変換をもつ2-セルが、三圏における整合性をどのように保証するか？

主な発見

• 有限極限を備えた厳密2-圏におけるスパンは、Trimbleの四次元圏フレームワークのもとでモノイダル三圏をなす。
• 三圏構造は1対象の四次元圏から生じ、射はスパン、2-射は可換コーンとして与えられる。
• 構成は、逆変換をもつ2-セルを備えた擬似プルバックをモデル化するため、W-重み付き厳密2-極限に依存する。
• 普遍性における変換は自明であるが、結合則および単位則の随伴同値は恒等射でないため、構造がグレイ圏とはならない。
• 普遍性は厳密な逆変換をもつ自然変換φを用いて検証され、各コーンが一意に比較写像に引き上げられることを保証する。
• 結果として得られる三圏は半厳密である：完全に弱い構造ではないが、グレイ圏ほど厳密でもなく、結合則および単位則における非恒等な整合性データのおかげで、より厳密な構造とは区別される。