[논문 리뷰] A Tangent Category Alternative to the Faà di Bruno Construction

Jean-Simon Pacaud Lemay|arXiv (Cornell University)|2018. 05. 04.

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 탄성 범주 이론을 사용하여 cofree Cartesian differential 범주의 새로운 구성법을 제시한다. Faà di Bruno 공식의 복잡한 조합론을 더 단순하고 함자론적으로 기반한 체인 규칙으로 대체한다. 주요 기여는 D-시퀀스를 통해 정의된 동치의 cofree Cartesian differential 범주 구조로, 탄성 함자에 의해 구성되어 있어 복합적인 조합 연산과 합성 과정을 단순화하며, 원래의 Faà di Bruno 구성법보다 더 직관적이고 조합론적인 요소가 적은 대안을 제공한다.

ABSTRACT

The Faà di Bruno construction, introduced by Cockett and Seely, constructs a comonad $\mathsf{Fa{\grave{a}}}$ whose coalgebras are precisely Cartesian differential categories. In other words, for a Cartesian left additive category $\mathbb{X}$, $\mathsf{Fa{\grave{a}}}(\mathbb{X})$ is the cofree Cartesian differential category over $\mathbb{X}$. Composition in these cofree Cartesian differential categories is based on the Faà di Bruno formula, and corresponds to composition of differential forms. This composition, however, is somewhat complex and difficult to work with. In this paper we provide an alternative construction of cofree Cartesian differential categories inspired by tangent categories. In particular, composition defined here is based on the fact that the chain rule for Cartesian differential categories can be expressed using the tangent functor, which simplifies the formulation of the higher order chain rule.

연구 동기 및 목표

• cofrees Cartesian differential 범주를 정의할 때 Faà di Bruno 구성법의 복잡성과 조합론적 부담을 해결하기 위해.
• 탄성 범주 프레임워크를 사용하여 cofree Cartesian differential 범주에 대한 대체적이고 더 직관적인 구성법을 개발하기 위해.
• 고차 미분 체인 규칙의 표현을 대칭 트리와 다항계수 대신 탄성 함자로 표현하여 공식을 단순화하기 위해.
• 덧셈 범주를 초월하여 일반적인 유한 곱을 갖는 범주로의 일반화를 위해 사전-D-시퀀스를 도입함으로써, 더 넓은 범주적 맥락에서의 미분 가능성을 확보하기 위해.
• 새로운 구성법과 원래의 Faà di Bruno comonad 사이의 동치성을 확립하여, 새로운 구조가 여전히 보편적인 cofree 성질을 유지하는지 확인하기 위해.

제안 방법

• 유한 곱을 갖는 범주에서의 사상들의 일반화된 시퀀스인 사전-D-시퀀스를 도입하여, 새로운 구성법의 기초를 마련한다.
• Cartesian differential 범주에서의 미분 조합자 공리에 만족하는 특수한 부분집합으로서 D-시퀀스를 정의한다.
• 탄성 함자의 작용을 이용해 D-시퀀스의 합성을 정의하며, 체인 규칙이 자연 변환 T(fg) = T(f)T(g)로 표현되어 고차 합성 과정이 단순화됨을 보인다.
• D-시퀀스 위에서의 미분 조합자 D를 f_n에서 f_{n+1}으로의 이동 연산으로 정의하여, Cartesian differential 범주에서의 표준적인 미분 조합자와 일치시킨다.
• 탄성 함자의 자연성과 곱 보존 성질을 이용해, 대칭 트리 표기법을 피하는 방식으로 미분 조합자와 합성을 정의한다.
• 결과적으로 D-시퀀스의 범주가 Cartesian differential 범주를 이루며, comonad 동치를 통해 Faà di Bruno 구성법과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 Faà di Bruno 공식의 복잡한 조합론에 의존하지 않고 cofree Cartesian differential 범주를 구성할 수 있는가?
• RQ2 Cartesian differential 범주에서의 고차 체인 규칙을 대칭 트리 대신 탄성 함자로 재구성할 수 있는가?
• RQ3 덧셈 구조가 없는 범주로 D-시퀀스의 자연스러운 일반화가 가능한가, 이는 더 넓은 범주적 맥락에서의 미분 가능성을 가능하게 하는가?
• RQ4 새로운 구성법이 보편적인 cofreeness 성질을 유지하는가, 즉 Faà di Bruno comonad와 동치인가?
• RQ5 다항계수 대신 탄성 범주 구조를 이용해 미분 조합자와 합성을 더 직관적으로 정의할 수 있는가?

주요 결과

• 새로운 구성법은 D-시퀀스를 통해 cofree Cartesian differential 범주를 정의하며, comonad 코알제브라의 관점에서 Faà di Bruno 구성법과 동치이다.
• 합성은 탄성 함자의 함자성에 의해 정의되어, 대칭 트리와 다항계수의 필요성을 피한다.
• 미분 조합자는 간단한 이동 연산으로 주어지며, D-시퀀스의 선형성은 f• = i•·f0로 특징지어진다.
• 사전-D-시퀀스를 통해 유한 곱을 갖는 임의의 범주로 일반화되어, 덧셈 구조가 없는 맥락에서도 미분 가능해진다.
• D-시퀀스의 범주가 Cartesian differential 범주를 이루며, 결과적으로 얻어진 comonad는 Faà di Bruno comonad와 동치이며 보편적인 cofree 성질을 유지한다.
• 논문은 탄성 함자가 고차 미분 체인 규칙을 더 깔끔하고 구조적으로 표현할 수 있음을 보여주며, 조합론적인 Faà di Bruno 공식을 대체함을 입증한다.