[論文レビュー] Dinaturality for Double Categories

Edward Morehouse|arXiv (Cornell University)|Mar 3, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

要約: 論文は二重カテゴリーに dinaturality を拡張し、dinatural transformations と dimodifications を定義し、それらの自然変換との合成を分析し、さらに高次カテゴリー理論における extranaturality の表面ダイアグラム計算を開発する。

ABSTRACT

In this paper we extend the concept of dinaturality to the setting of double categories. We introduce the dinatural versions of double-categorical transformations and modifications, and show that ordinary natural transformations and modifications correspond to dinatural ones between dummy functors. Although dinatural transformations don't generally compose with each other, they do compose with natural transformations, and we investigate the algebra of this composition. In our motivating example of dinaturality for double categories, we derive the caps and cups of Eilenberg-Kelly graphs for extranatural transformations as dinatural transformation components, and the corresponding adjunction laws as (di)modification components. In an appendix we extend the surface diagram calculus for the locally cubical Gray category of small double categories to include dinatural constructions.

研究の動機と目的

• ordinary NATURality を超える naturailty の研究を動機づけるため、二重カテゴリーにおける extranaturality を組み込む。
• 二重カテゴリーにおける平行な difunctors に対する堅牢な dinatural transformations の定義。
• dinatural transformations の立方的拡張として dimodifications を導入し、その性質を研究する。
• dinatural および natural transformations が混成合成法則を通じてどのように相互作用するかを示す。
• これらの高次元構造を視覚化・操作するための図式的枠組み（表面ダイアグラム）を提供する。

提案手法

• 双対結合 ( proarrow- dimension reflection ) を定義し、domain としての difunctor の概念を確立する。
• dinatural transformation のデータを定式化する：対象成分の proarrow、矢印成分の正方形、proarrow 成分の円盤。
• 整合性法則を課す：矢印と正方形の自然性、および proarrow の合成との適合性（3.1–3.3）。
• ダミーな dinatural transformations を導入し、通常の自然変換との対応（ダミーの場合）を証明する。
• dimodifications を、dinatural 境界を持つ並行函手間の立方体的写像として定義し、対角化結果を与える。
• 合成法則を展開する：dinatural–natural の合成とその結合性、ジグザグ構成（キャップ/カップ）を含む。
• キャップ/カップの折り畳みを通じて extranaturality に結びつけ、これらが二重カテゴリー設定での Eilenberg–Kelly 型グラフを構築する方法を論じる。

実験結果

リサーチクエスチョン

• RQ1 dinaturality を 1-カテゴリから二重カテゴリーへ一般化する際、矢印と proarrow の分散性をどう保つか？
• RQ2 二重カテゴリー文脈で dinatural transformations および dimodifications を支配する整合条件は何か？
• RQ3 dinatural transformations は通常の natural transformations とどのように相互作用し、どんな混成合成が可能か？
• RQ4 表面ダイアグラム計算は二重カテゴリーにおける extranaturality の構成を捉えられるか？
• RQ5 キャップ、カップ、ジグザグ構造は二重カテゴリーにおける extranaturality の表現にどのような役割を果たすか？

主な発見

• parallel difunctors for double categories に対する dinatural transformations の形式的定義（対象成分の proarrows、矢印成分の正方形、proarrow 成分の円盤を含む）を提示。
• dinatural transformations は一般には互いに結合しないが、natural transformations とは結合可能であり、混成合成法則をもたらす。
• ダミーの dinatural transformations は diagonali zation プロセスを介して通常の natural transformations に対応し、ダミーの場合の正確な対応を確立。
• 二方向結合系の合成枠組み（dinatural–natural）を確立し、結合性と単位律を適切な整合性とともに示す（命題 3.9–3.10）。
• Extranaturality の基本的な接続部としてキャップ、カップ、ストリップを導入し、二重カテゴリー設定での付随付随化（adjunction like 構造）をジグザグ構築でモデル化。
• 表面ダイアグラム計算を概説し、この理論に関与する高次元構造（dimodifications）を可視化・管理する。