[논문 리뷰] Differential Categories Revisited

Richard Blute, J.R.B. Cockett외 2명|arXiv (Cornell University)|2018. 06. 13.

Advanced Topics in Algebra참고 문헌 9인용 수 6

한 줄 요약

이 논문은 추가적 바이알제브라 모달리티의 맥락에서 두 가지 미분 개념—유도 변환과 코더렐렉션—의 동치성을 확립하며, 모나이드 코알제브라 모달리티가 존재할 경우 이들이 상호 교환 가능하다는 것을 증명한다. 또한, Rota-Baxter 대수에 의해 유도되는 비모나이드 코알제브라 모달리티와 같은 사례들에서 미분 범주가 유도될 수 있음을 보이며, 선형논리 설정에서만 모나이드 구조가 미분 구조를 지원한다는 가정을 도전한다.

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.

연구 동기 및 목표

• 유도 변환과 코더렐렉션이 미분 범주에서 서로 다른 개념의 미분을 나타내는가에 대한 열린 문제를 해결하기 위해.
• 모나이드 코알제브라 모달리티 하에서 이 두 형식이 카테고리적으로 동치임을 확립하기 위해.
• 미분 구조를 지지하거나 지지하지 않는 모나이드 및 비모나이드 코알제브라 모달리티의 분리 가능한 예를 제공하기 위해.
• 미분 대수가 모나이드 코알제브라 모달리티를 제공하지만도 여전히 미분 범주를 유도하지 못함을 보이며, 직관적 기대에 반하는 결과를 제시하기 위해.
• 비모나이드 코알제브라 모달리티가 미분 범주 이론에서 중요한 역할을 하며, 병리학적인 것이 아니라 수학적으로 의미 있는 존재임을 강조하기 위해.

제안 방법

• 유도 변환 또는 코더렐렉션을 통해 미분 범주를 공식화하며, 후자는 바이알제브라 모달리티가 필요하다.
• 유도 변환과 코더렐렉션 간의 동치성을 증명하기 위한 중간 구조로 '추가적 바이알제브라 모달리티'의 개념을 도입한다.
• Seely 동치를 사용하여 모나이드 코알제브라 모달리티를 이원형 완비화로 확장함으로써 유 endomorphism의 유한 이원형과의 호환성을 확보한다.
• 완비화 과정을 통해 추가적 바이알제브라 모달리티에서 비추가적 바이알제브라 모달리티를 구성함으로써, 새로운 형태의 미분 범주 예를 가능하게 한다.
• 자유 Rota-Baxter 대수 구성법을 적용하여 비모나이드 코알제브라 모달리티를 갖는 미분 범주를 생성한다.
• 수반성과 자연성에 기반하여 Rota-Baxter 설정에서 유도 변환의 연쇄법칙 및 기타 공리들을 검증한다.

실험 결과

연구 질문

• RQ1 모나이드 코알제브라 모달리티가 존재할 경우, 유도 변환과 코더렐렉션은 동치인가?
• RQ2 비모나이드 코알제브라 모달리티에서 미분 범주를 구성할 수 있는가?
• RQ3 미분 대수가 모나이드 코알제브라 모달리티를 제공하지만도 여전히 미분 범주를 유도하지 못하는 이유는 무엇인가?
• RQ4 Seely 동치는 코알제브라 모달리티를 이원형 완비화로 확장하는 데 어떤 역할을 하는가?
• RQ5 Rota-Baxter 대수는 비모나이드 코알제브라 모달리티를 갖는 미분 범주의 유효한 예인가?

주요 결과

• 모나이드 코알제브라 모달리티가 존재할 경우, 유도 변환과 코더렐렉션은 동치이며, 이는 미분 범주 이론의 기초적 모순을 해결한다.
• 모듈러 위의 자유 Rota-Baxter 대수는 비모나이드 코알제브라 모달리티를 갖는 미분 범주를 유도하며, 이는 새로운 이면에서의 직관에 반하는 예이다.
• 미분 대수는 모나이드 코알제브라 모달리티를 제공하지만도 여전히 미분 범주를 유도하지 못함을 보이며, 모달리티 자체만으로는 충분하지 않음을 입증한다.
• Rota-Baxter 설정에서 유도 변환의 연쇄법칙은 수반성과 자연성에 기반하여 검증되었으며, 이는 미분 구조의 타당성을 확인한다.
• 추가적 바이알제브라 모달리티로부터 비추가적 바이알제브라 모달리티를 구성할 수 있으며, 이는 비모나이드 구조를 갖는 새로운 형태의 미분 범주를 유도한다.
• 본 논문은 미분 범주의 지리적 범위가 모나이드 코알제브라 모달리티를 초월하여 확장됨을 보이며, 비모나이드 케이스를 연구할 필요성을 강조한다.