[論文レビュー] Strictification of categories weakly enriched in symmetric monoidal categories

Bertrand Guillou|ArXiv.org|Sep 29, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 12

ひとこと要約

この論文は、対称モノイダル圏に弱く豊かに豊かにされた圏（SMC圏）— いわゆる SMC圏 — が、置換可能圏（PC圏）に豊かにされた圏に厳密化可能であることを証明している。これは、高次代数的構造の整合性を保証するものである。2種類の異なる手法 — すなわち、明示的な厳密化とヤオダ型整合性の議論 — を用いて、任意の SMC圏が PC圏と双同値であることを確立しており、これにより $<math>\mathbb{K}$-理論関手を適用してスペクトル圏を得ることが可能になる。

ABSTRACT

We offer two proofs that categories weakly enriched over symmetric monoidal categories can be strictified to categories enriched in permutative categories. This is a "many 0-cells" version of the strictification of bimonoidal categories to strict ones.

研究の動機と目的

• 対称モノイダル圏に弱く豊かにされた圏の厳密化結果を確立し、アイゼルのモノイダル圏の厳密化を一般化すること。
• 高次代数において整合性問題を解決し、弱く豊かにされた構造（SMC圏）が、厳密に豊かにされた構造（PC圏）と双同値であることを示すこと。
• この厳密化を、明示的証明とヤオダ型の整合性議論という2つの独立した証明法により提供することで、強度と応用可能性を高めること。
• 単一の 0-セルを持つ SMC圏の場合にこの結果を拡張し、既知の双モノイダル圏の厳密化を特別な場合として回復すること。

提案手法

• 弱いモノイダル構造を厳密なものに置き換えるインダクティブな明示的プロセスを用いて、双同値性を保ちつつ厳密化を構成すること。
• SMC圏を置換可能圏値関手の圏へ埋め込むヤオダ埋め込みを適用し、表現可能性を活用すること。
• ヤオダ関手を用いて、元の SMC圏と PC圏の完全な部分2-圏との間で双同値を誘導すること。
• 合成とモノイダル関手が厳密な結合的および単位的性質を満たすことを検証することで、像上の誘導構造が PC圏であることを証明すること。
• 厳密化が、ホム圏上の対称モノイダル構造を保存し、合成の双線形性を尊重することを確立すること。
• ヤオダ型証明を単一の 0-セルの場合に特化することで、双モノイダル圏の厳密化が一般の SMC圏の厳密化の特別な場合として回復されることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 対称モノイダル圏に弱く豊かにされた圏は、置換可能圏に豊かにされた圏に厳密化可能か？
• RQ2 厳密化は、双圏的およびモノイダル構造を双同値までに保存するか？
• RQ3 厳密化は、明示的構成とヤオダ型整合性議論の両方で達成可能か？
• RQ4 双モノイダル圏の厳密化は、一般の SMC圏の厳密化の特別な場合として回復可能か？
• RQ5 厳密化プロセスにより、厳密化された圏の $&lt{math&gt} \mathbb{K}$-理論がスペクトル圏を生成することを保証するか？

主な発見

• 任意の SMC圏は PC圏と双同値である。これは、弱く豊かにされた構造が、カテゴリカルな情報の損失なしに剛性化可能であることを意味する。
• 2つの独立した証明法 — 1つは明示的で、もう1つはヤオダ埋め込みと整合性理論を用いたもの — により、厳密化が達成されている。
• ヤオダ型証明は、元の SMC圏から PC圏の完全な部分2-圏への双同値を構成し、その部分2-圏自体が PC圏であることを示している。
• 単一の 0-セルの場合、厳密化は既知の双モノイダル圏の厳密化（厳密な双モノイダル圏への）を回復する。
• 単位対象での評価が、厳密化された圏と元の双モノイダル圏との間の同値を誘導し、全射的かつ本質的全射性を示している。
• 厳密化された圏は、元の構造から加法的および乗法的モノイダル構造を引き継ぎ、合成とテンソル積が厳密に結合的かつ単位的である。