[論文レビュー] Differential Categories Revisited

Richard Blute, J.R.B. Cockett+2 more|arXiv (Cornell University)|Jun 13, 2018

Advanced Topics in Algebra参考文献 9被引用数 6

ひとこと要約

この論文は、加法的バイアルゲブラモダリティの文脈において、微分の2つの概念—導出変換とコダイラクション—が同等であることを確立し、モノイダルコールゲブラモダリティが存在する場合にはそれらが相互に置き換え可能であることを証明する。さらに、微分圏がモノイダルでないコールゲブラモダリティから生じることを示し、線形論理の文脈において微分構造を支えるのはモノイダル構造に限らないという仮定に反する。

ABSTRACT

Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two different approaches to defining differentiation which were introduced. The basic approach used a deriving transformation, while a more refined approach, in the presence of a bialgebra modality, used a codereliction. The latter approach is particularly relevant to linear logic settings, where the coalgebra modality is monoidal and the Seely isomorphisms give rise to a bialgebra modality. Here, we prove that these apparently distinct notions of differentiation, in the presence of a monoidal coalgebra modality, are completely equivalent. Thus, for linear logic settings, there is only one notion of differentiation. This paper also presents a number of separating examples for coalgebra modalities including examples which are and are not monoidal, as well as examples which do and do not support differential structure. Of particular interest is the observation that -- somewhat counter-intuitively -- differential algebras never induce a differential category although they provide a monoidal coalgebra modality. On the other hand, Rota-Baxter algebras -- which are usually associated with integration -- provide an example of a differential category which has a non-monoidal coalgebra modality.

研究の動機と目的

• 微分圏における導出変換とコダイラクションが、異なる微分の概念を表しているかどうかという未解決の問いを解消すること。
• モノイダルコールゲブラモダリティが存在する下で、これら2つの形式的記述が圏論的に同等であることを確立すること。
• 微分構造を支持するかしないかを分ける、モノイダルおよび非モノイダルの両方のコールゲブラモダリティの分離例を提供すること。
• 微分代数がモノイダルコールゲブラモダリティを提供するにもかかわらず微分圏を誘導しないことの証明により、直感的な期待に反する事実を示すこと。
• 非モノイダルコールゲブラモダリティが微分圏理論において重要な役割を果たすことを強調し、それらが単なる病理的例ではなく数学的に有意義であることを示すこと。

提案手法

• 導出変換またはコダイラクションによる微分圏の形式的定式化を行い、後者はバイアルゲブラモダリティを要件とする。
• 導出変換とコダイラクションの同等性を証明するための中間的構造として「加法的バイアルゲブラモダリティ」の概念を導入する。
• シーゼイ同型を用いてモノイダルコールゲブラモダリティを双積完備に拡張し、有限双積と整合性を保つようにする。
• 完成化プロセスを用いて加法的バイアルゲブラモダリティから非加法的バイアルゲブラモダリティを構成し、非モノイダル構造を持つ微分圏の新たな例を可能にする。
• 自由ロータ＝バクスター代数の構成を応用し、非モノイダルコールゲブラモダリティを備えた微分圏を生成する。
• 随伴性と自然性を用いて、ロータ＝バクスター設定における導出変換の合成則および他の公理を検証する。

実験結果

リサーチクエスチョン

• RQ1 モノイダルコールゲブラモダリティが存在する場合、導出変換とコダイラクションは同等であるか？
• RQ2 非モノイダルコールゲブラモダリティから微分圏を構成できるか？
• RQ3 微分代数がモノイダルコールゲブラモダリティを提供するにもかかわらず、なぜ微分圏を誘導しないのか？
• RQ4 シーゼイ同型は、コールゲブラモダリティを双積完備に拡張するために果たす役割は何か？
• RQ5 ロータ＝バクスター代数は、非モノイダルコールゲブラモダリティを備えた微分圏の有効な例を提供するか？

主な発見

• モノイダルコールゲブラモダリティが存在する場合、導出変換とコダイラクションは同等であることが示され、微分圏理論における基礎的で曖昧な点が解消された。
• モジュール上の自由ロータ＝バクスター代数は、非モノイダルコールゲブラモダリティを備えた微分圏を誘導し、新規かつ直感に反する例を提供する。
• 微分代数は、モノイダルコールゲブラモダリティを備えても微分圏を生成しないことが示され、モダリティそのものが不十分であることが判明した。
• ロータ＝バクスター設定において、導出変換の合成則が随伴性と自然性を用いて検証され、微分構造の整合性が確認された。
• 加法的バイアルゲブラモダリティから非加法的バイアルゲブラモダリティを構成可能であり、非モノイダル構造を持つ微分圏の新たな例が得られた。
• 本論文は、微分圏の地図がモノイダルコールゲブラモダリティの範囲をはるかに超えて広がっていることを示し、非モノイダルケースの研究の重要性を強調した。