[論文レビュー] The monoidal structure of strictification

Nick Gurski|arXiv (Cornell University)|Jan 25, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 4

ひとこと要約

この論文は、2-圏への双関手の厳密化関手が対称的モノイダルであることを確立し、高次圏論における基礎的問題を解決する。具体的には、グレイテンソル積を適切な同型に関して保存することを示している。主な貢献は、比較写像 stX × stY → st(X × Y) が対称的モノイダル構造の一部であることを証明したことであり、従来の文献における、 lax モノイダル構造に関する誤りを是正している。

ABSTRACT

We study the monoidal structure of the standard strictification functor $ extrm{st}:\mathbf{Bicat} ightarrow \mathbf{2Cat}$. In doing so, we construct monoidal structures on the 2-category whose objects are bicategories and on the 2-category whose objects are 2-categories.

研究の動機と目的

• 構造写像の自然性が不成立であるため、従来の文献で「厳密化関手が lax モノイダルである」と主張していた不整合を解消する。
• 2-圏への厳密化関手 st: Bicat → 2Cat が、グレイテンソル積をモノイダル構造として持つ対称的モノイダル関手であることを確立する。
• 三圏における高次元の整合性定理に不可欠な、厳密化の修正された一貫性のあるモノイダル構造を提供する。
• 逆変換を用いた同型の整合性同型を介して、比較写像 stX × stY → st(X × Y) が対称的モノイダル構造の一部であることを示す。
• 立方体三圏におけるヤヌカ型埋め込みへの厳密化の利用を支援し、三圏的同値性をグレイ圏へと可能にする。

提案手法

• 比較写像 stX × stY → st(X × Y) を2関手として構成し、それが厳密に自然ではなく、可逆なアイコンに関して自然であることを示す。
• st における Cat-oppolax モノイダル構造の構造写像として、普遍的立方体関手 c_{AB} を用いる。
• 二重圏 X × Y からの一意的整合性同型を用いて、バーニングの変換 U を定義する。
• 2-セルの貼り合わせ図式が、余単位 e を適用した後、双関手の整合性定理により等しくなることを示し、ブレッドモノイダル関手の公理を検証する。
• e における整合性同型の一意性に依拠して、対称性公理を確認し、対称的モノイダル構造を検証する。
• 擬自然変換および整合性セルの文脈において、結果をモノイダル三圏へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 文献で以前に主張されていたように、厳密化関手 st: Bicat → 2Cat は本当に lax モノイダルであるか？
• RQ2 構造写像が厳密に自然でない場合、厳密化関手が実際にどのようなモノイダル構造を持つのか？
• RQ3 可逆な変換を用いて、比較写像 stX × stY → st(X × Y) に対称的モノイダル構造を定義できるか？
• RQ4 三圏的整合性の文脈において、厳密化関手はグレイテンソル積とどのように作用するか？
• RQ5 st における対称的モノイダル構造は、特に立方体三圏の構成において、三圏のレベルにまで拡張可能か？

主な発見

• 構造写像が可逆なアイコンに関してのみ自然であるため、厳密化関手 st: Bicat → 2Cat は通常の意味での lax モノイダルではない。
• 正しい構造は、比較写像 stX × stY → st(X × Y) がその一部を占める対称的モノイダル関手である。
• バーニング変換 U は、二重圏 X × Y からの一意的整合性同型を用いて定義され、可逆性と整合性を保証する。
• ブレッドモノイダル公理の貼り合わせ図式は、双関手の整合性定理により、余単位 e を適用した後等しくなる。
• すべての関連する貼り合わせ図式が可換であることを示すことで、st における対称的モノイダル構造が検証され、整合性同型の一意性に依拠する。
• 結果は、擬自然変換および整合性セルを伴うモノイダル三圏へと拡張可能である。