[論文レビュー] Partial Linearity in Categories

Roy Ferguson, Zurab Janelidze|arXiv (Cornell University)|Jan 20, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

この論文はカテゴリーにおける部分線形性をモノイダル和と積の構造をトランスフォーマーを介して関連付けることで導入し、n回の和からn回の積への標準モルフィズムが同一視の行列表示を持つことを示すコヒーレンス定理を証明し、この設定における中心モルフィズムの一般化を行う。

ABSTRACT

In this paper we study partial linearity in a category by replacing isomorphism between coproducts and products in a linear category with isomorphism between suitable monoidal structures on a category. The main results a coherence theorem and a generalization of the theory of central morphisms from unital categories to our context of partial linearity

研究の動機と目的

• coproduct-product 同型を、カテゴリー上のモノイダル構造間の同型へ置き換えることで、部分線形性を動機づけ定義する。
• n回の和とn回の積の標準モルフィズムのためのコヒーレンス枠組みを開発する。
• 単位付きカテゴリーから部分的線形性のカテゴリーへ、中心モルフィズムの概念を一般化する。
• 前線的カテゴリーが中心モルフィズムと加法構造によって線形になる条件を特徴づける。

提案手法

• 初期単位を持つ和構造を定義し、結合射を共役射可能にする。
• 射の被覆関係を導入し、和と積の操作から作られる語についてコヒーレンスを用いる。
• sum から product への自然変換としての prelinearisers を定義し、それらの行列表示を研究する。
• 線形化子（同型 i: ⊕ → ⊗）が全コヒーレンスを与えることを証明する：長さが同じ ⊕–⊗ の語の任意の対は標準的に同型である。
• 和と積の間の射を分析するための単位消去射と標準的な行列枠組みを開発する。
• 中心的モルフィズムを特徴づけ、それを部分的線形性と全線形性を結びつける加法構造へと追加する。

実験結果

リサーチクエスチョン

• RQ1 和から積への自然変換がトランスフォーマーになり得るのはいつで、どのような行列表現をとるのか？
• RQ2 前線的カテゴリーが中心モルフィズムとその加法的構造により線形になる条件は何か？
• RQ3 部分的線形設定におけるn回の和と積のコヒーレンスはどのように現れるか？
• RQ4 ユニットの打ち消しが標準的な標準射が期待通り振る舞うことを保証する上でどのような役割を果たすのか？

主な発見

• 自然変換 i: ⊕ → ⊗ が存在すると、カテゴリは指向点を持つようになる。
• トランスフォーマー i は、和と積の構造と整合するのは特定の図式が可換になるときだけであり、その結果、射の行列分解が得られる。
• 前線的カテゴリーは、任意の2つの対象間の中心モルフィズムが加法のモノイドを成し、合成は分配的な場合に限り線形になる。
• 前線的カテゴリーで線形化子 i を持つ場合、同長の任意の二つ ⊕–⊗語は一意の同型を介して標準的に同型になる。
• ⊕ と ⊗ に関する標準的な射は素朴な標準的射に分解でき、すべてのn回構成についてコヒーレンス結果を可能にする。
• 任意の n回の和から任意の n回の積への一意な標準射が存在し、その行列表示は恒等である。