[論文レビュー] A Universal Characterisation of Codescent Objects

Alexander S. Corner|arXiv (Cornell University)|Sep 5, 2017

Computability, Logic, AI Algorithms参考文献 13被引用数 3

ひとこと要約

本稿では、双関手の2次元一般化としてのextrapseudonatural変換を導入し、2-圏におけるcodescent対象の普遍的特徴づけを提供する。適切な条件下で繰り返しcodescent対象が同値であることを示すことで、codescent対象に対するFubini定理を確立し、高次元設定へのcoend Fubini定理の一般化を達成する。

ABSTRACT

In this work we define a 2-dimensional analogue of extranatural transformation and use these to characterise codescent objects. They will be seen as universal objects amongst extrapseudonatural transformations in a similar manner in which coends are universal objects amongst extranatural transformations. Some composition lemmas concerning these transformations are introduced and a Fubini theorem for codescent objects is proven using the universal characterisation description.

研究の動機と目的

• 双関手と2-圏を用いて、extranatural変換の概念を2次元的設定へ拡張すること。
• extrapseudonatural変換を定義・形式化し、codescent対象の特徴づけに用いる基盤的道具とする。
• extranatural変換によるcoendの普遍的性質に類似した、bicodescent対象の普遍的性質を確立すること。
• 繰り返しcodescent構成が適切な条件下で同値であることを示すFubini型定理を証明すること。

提案手法

• pseudofunctorと可逆な2-cellを含む、extranatural変換の弱い2次元一般化としてextrapseudonatural変換を導入する。
• extrapseudonatural変換の下での普遍的対象としてbicodescent対象を定義し、1次元的および2次元的普遍的性質を捉える。
• 整合性同型と貼り合わせ図式を用いて、extrapseudonatural変換の公理（特に可逆な2-cellに対するEB2）を検証する。
• 繰り返しcodescent対象を関連付けるための整合性セルの合成を構成し、coendに類似した構成の順序の交換可能性を証明する。
• codescent対象の普遍的性質を活用して、合成変換が必要な随伴同型を満たすことを示す。
• Fubini定理をbicodescentおよびcodescent対象の両方に適用し、codescent対象がより強い一意性条件を満たすことに注目する。

実験結果

リサーチクエスチョン

• RQ1 extranatural変換はどのように2圏的設定へ一般化され、高次元コリミットを記述できるか？
• RQ2 coendの普遍的性質に類似した、2-圏におけるcodescent対象を特徴づける普遍的性質は何か？
• RQ3 繰り返しcodescent構成の交換可能性を保証するFubini定理をcodescent対象に対して確立できるか？
• RQ4 繰り返しcodescent対象が随伴同型に関して同値であるための条件は何か？
• RQ5 bicodescent対象とcodescent対象の間には、普遍的性質および整合性の観点からどのような関係があるか？

主な発見

• extrapseudonatural変換はextranatural変換の2次元的類似として定義され、高次元普遍的構成のための枠組みを提供する。
• bicodescent対象はextrapseudonatural変換の下での普遍的対象として特徴づけられ、1圏論におけるcoendの役割を一般化する。
• codescent対象に対するFubini定理が証明され、∫^a∫^b P(a,b,a,b) ≃ ∫^b∫^a P(a,b,a,b) が随伴同型により成立することが示された。
• 可逆な2-cellに対するEB2公理を満たす整合性同型と貼り合わせ図式の合成を通じて、同値性が確立された。
• 結果はbicodescentおよびcodescent対象の両方に適用可能であり、codescent対象はより強い一意性条件を満たす。
• 証明はcodescent対象の普遍的性質とpseudofunctorの整合性に依拠しており、繰り返し構成の交換が適切に定義されることを保証する。