[논문 리뷰] Cartesian Differential Comonads and New Models of Cartesian Differential Categories

Sacha Ikonicoff, Jean-Simon Pacaud Lemay|arXiv (Cornell University)|2021. 08. 09.

Mathematical Control Systems and Analysis인용 수 4

한 줄 요약

이 논문은 코클라이슬리 범주가 카르테시안 미분 범주가 되는 코모나드인 카르테시안 미분 코모나드를 도입한다. 이를 통해 미분 범주 코모나드에서 유도된 카르테시안 미분 범주의 구성 방식을 일반화한다. 또한 멱급수, 분할 거듭제곱 대수, 진비엘 대수를 사용하여 새로운 예를 구성함으로써, 전통적인 미분 범주를 초월한 미분의 범주론적 의미를 확장한다.

ABSTRACT

Cartesian differential categories come equipped with a differential combinator that formalizes the derivative from multi-variable differential calculus, and also provide the categorical semantics of the differential $\\lambda$-calculus. An important source of examples of Cartesian differential categories are the coKleisli categories of the comonads of differential categories, where the latter concept provides the categorical semantics of differential linear logic. In this paper, we generalize this construction by introducing Cartesian differential comonads, which are precisely the comonads whose coKleisli categories are Cartesian differential categories, and thus allows for a wider variety of examples of Cartesian differential categories. As such, we construct new examples of Cartesian differential categories from Cartesian differential comonads based on power series, divided power algebras, and Zinbiel algebras.

연구 동기 및 목표

• 코클라이슬리 범주가 카르테시안 미분 범주가 되는 코모나드를 식별함으로써, 카르테시안 미분 범주의 구성 방식을 일반화하는 것.
• 미분 범주에서 유도된 것 이외의 더 넓은 범주에서 카르테시안 미분 범주의 예를 제공하는 것.
• 멱급수, 분할 거듭제곱 대수, 진비엘 대수와 같은 새로운 대수적 구조를 카르테시안 미분 코모나드의 근원으로 탐색하는 것.
• 카르테시안 미분 코모나드의 맥락에서 향후 적분, 부정적분, 아이レン버그-무어 범주에 대한 연구를 위한 기초를 다지는 것.

제안 방법

• 코클라이슬리 범주가 카르테시안 미분 구조를 상속하는 코모나드로 카르테시안 미분 코모나드를 정의하는 것.
• 유도 전환과 코모나드의 구조 사상들을 사용하여 코클라이슬리 범주에서의 미분 연산자를 구성하는 것.
• 카르테시안 미분 코모나드의 코클라이슬리 범주가 카르테시안 미분 범주의 일곱 개의 공리들을 충족함을 보이는 것.
• 감소된 멱급수, 분할 거듭제곱 대수, 진비엘 대수의 범주에서 카르테시안 미분 코모나드의 명시적 구성 제공.
• 유도된 미분 연산자가 다변수 미적분학의 표준 항등식(예: 연쇄법칙, 편미분의 대칭성 등)을 충족함을 검증하는 것.
• 코클라이슬리 구성 방법을 사용하여 매끄러운 사상(코클라이슬리 사상으로서)을 올리고, 그들의 도함수를 범주론적으로 정의하는 것.

실험 결과

연구 질문

• RQ1 어떤 조건을 만족해야 코모나드의 코클라이슬리 범주가 카르테시안 미분 범주가 되는가?
• RQ2 멱급수와 분할 거듭제곱 대수와 같은 대수적 구조로부터 새로운 카르테시안 미분 범주의 예를 어떻게 구성할 수 있는가?
• RQ3 진비엘 대수는 카르테시안 미분 코모나드 구조를 지닐 수 있으며, 유도된 미분 연산자는 어떤 형태를 띄는가?
• RQ4 카르테시안 미분 코모나드와 기존의 카르테시안 미분 범주가 미분(저장용) 범주의 코클라이슬리 범주에 통합되는 방식 사이의 관계는 무엇인가?
• RQ5 카르테시안 미분 코모나드의 맥락에서 적분과 부정적분은 어떻게 일반화될 수 있는가?

주요 결과

• 카르테시안 미분 코모나드는 정확히 코클라이슬리 범주가 카르테시안 미분 범주가 되는 코모나드이며, 이는 기존의 미분 범주에서 유도된 구성 방식을 일반화한다.
• R-모듈의 범주에서 감소된 멱급수 코모나드의 코클라이슬리 범주는 카르테시안 미분 범주이며, 멱급수 사상의 도함수는 표준적인 다변수 도함수로 정의된다.
• R-모듈의 범주에서 분할 거듭제곱 대수 코모나드의 코클라이슬리 범주는 카르테시안 미분 범주이며, 이 경우의 미분 연산자는 분할 거듭제곱 다항식의 도함수에 해당한다.
• R-모듈의 범주에서 진비엘 대수 코모나드의 코클라이슬리 범주는 카르테시안 미분 범주이며, 이 경우의 미분 연산자는 진비엘 도함수로 주어진다: ∂ΓV(p)(x,y,x*,y*) = x*⊗y + y⊗x* + y*⊗x + x⊗y*.
• 논문은 멱급수와 진비엘 대수의 경우에 대해 적분 연산자 변환의 잠재적 후보를 식별하며, 미분 이론과 적분을 통합하는 길을 제시한다.
• 향후 연구에서는 카르테시안 미분 코모나드의 아이렌버그-무어 범주가 탄성 범주가 될 수 있으며, 이는 기존의 미분 범주에서의 결과를 일반화할 수 있음을 시사한다.