[論文レビュー] Cartesian Bicategories II

A. Carboni, G. M. Kelly+2 more|ArXiv.org|Aug 14, 2007

Rings, Modules, and Algebras参考文献 4被引用数 37

ひとこと要約

この論文は、局所的に順序付けられた2-圏に限らない一般の2-圏へと、デカルト2-圏の概念を拡張し、そのような構造が自然に対称的モノイダル2-圏を形成することを確立している。普遍的性質を用いて標準的なテンソル積を構成し、bilimitにおける有限積（ホム圏の同値性）が対称的モノイダル構造を誘導することを証明することで、文献における基礎的欠落を解消し、普遍的構成における一意性から自動的に coherent であることが示された。

ABSTRACT

The notion of cartesian bicategory, introduced by Carboni and Walters for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory.

研究の動機と目的

• デカルト2-圏の概念を、局所的に順序付けられた2-圏から任意の2-圏へ一般化すること。
• デカルト2-圏が標準的な対称的モノイダル構造を備えることを確立すること。
• bilimitにおける有限積（ホム圏の同値性）が、対称的モノイダル2-圏を誘導することを証明し、文献における基礎的欠落を解消すること。
• 前デカルト2-圏 B から新たな2-圏 G を構成し、G も有限積を備えることを示し、B 上でのテンソル積の定義を可能にすること。
• テンソル積の coherent 条件が、普遍的性質の一意性から自動的に従うことを示し、coherence 法則の明示的検証を回避すること。

提案手法

• 左随伴の2-圏（Map B）とすべてのホム圏が有限積を持つ2-圏 B を、前デカルト2-圏と定義する。
• B の一般の矢印を対象とし、左随伴成分を備えた正方形を1-セルとする新たな2-圏 G を構成し、G が B から有限積を引き継ぐことを示す。
• G における積の普遍的性質を用いて、積構造からの導出的構成により、B 上でのテンソル積 ⊗ を定義する。
• B 上の標準的テンソル積 ⊗ が、結合則および対称性を表す可逆な制約2-セルを備えた、対称的モノイダル2-圏の公理を満たすことを証明する。
• 普遍的性質における一意性が coherent であることを示すので、Mac Lane の五角形や六角形条件の明示的検証は不要であることを活用する。
• bilimitにおけるホム圏の同値性を用いてテンソル積とその構造2-セルを定義し、2-圏的構造と整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 デカルト2-圏の概念を、局所的に順序付けられた2-圏を越えて一般の2-圏へ意味的に拡張することは可能か？
• RQ2 bilimitにおける有限積（ホム圏の同値性）を持つ2-圏は、必然的に対称的モノイダル2-圏を形成するか？
• RQ3 制約データを事前に仮定せずに、デカルト2-圏上に標準的なテンソル積をどのように構成できるか？
• RQ4 左随伴成分を備えた正方形の2-圏 G は、対称的モノイダル構造を確立するために果たす役割は何か？
• RQ5 テンソル積の coherent 条件は、普遍的性質の一意性から自動的に従うのか。明示的な検証を回避できるか？

主な発見

• 左随伴の2-圏とすべてのホム圏が有限積を持つ2-圏として定義されるデカルト2-圏は、対称的モノイダル2-圏を形成する。
• テンソル積 ⊗ は、bilimitにおける普遍的性質から、制約データを仮定せずに標準的に構成される。
• 前デカルト2-圏 B から構成された2-圏 G も有限積を備えており、B 上でのテンソル積の定義を可能にする。
• テンソル積の結合則および対称性の制約は可逆であり、普遍的性質の一意性から、必要な coherent 条件が自動的に満たされる。
• この構成により、bilimit的意味における積の普遍的性質から、モノイダル構造の対称性が自然に生じることが示された。
• 本論文は、bilimitにおける有限積が対称的モノイダル2-圏を誘導することを証明し、coherence が一意性から従うことを示すことで、基礎的欠落を解消した。