[논문 리뷰] Differential restriction categories

J.R.B. Cockett, G. S. H. Cruttwell외 1명|arXiv (Cornell University)|2012. 08. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 21

한 줄 요약

이 논문은 R^n의 열린 부분집합에서 정의된 국소적이고 부분적인 미분 가능 함수를 모델링하기 위해 카르테시안 미분 범주와 제한 범주를 통합하는 대수적 구조인 미분 제한 범주를 소개한다. 이는 미분 구조가 조인 완비화와 고전적 완비화를 통해도 유지됨을 보이며, 단일 점에서만 정의된 함수의 껍질(germs)과 같은 국소적 사례조차도 잘 정의된 미분을 지닐 수 있음을 보여, 순수하게 대수적 방식으로 부분적이고 국소적인 함수의 미분법을 확장한다.

ABSTRACT

We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $\R^n$ in a way that is completely algebraic. We also give other models for the resulting structure, discuss what it means for a partial map to be additive or linear, and show that differential restriction structure can be lifted through various completion operations.

연구 동기 및 목표

• R^n의 열린 부분집합에서 정의된 부분적인 미분 가능 함수, 예를 들어 고립된 특이점을 가진 미분 가능 함수와 같은 것들을 대수적 공리계를 사용하여 범주론적 프레임워크로 형식화하는 것.
• 카르테시안 미분 범주와 제한 범주를 통합하여, 미분과 부분성의 대수적 본질을 포괄하는 새로운 구조를 만드는 것.
• 부분 함수의 맥락에서 가환성, 선형성, 강한 가환성을 정의하고 특성화하는 것.
• 완비화 연산, 특히 조인 완비화와 고전적 완비화를 통해 미분 구조가 유지됨을 보이는 것.
• 특정 점이나 닫힌 집합에서만 정의된 함수(예: 껍질)조차도 이 프레임워크 내에서 의미 있게 미분 가능함을 보이는 것.

제안 방법

• 카르테시안 미분 범주와 제한 범주를 조합한 미분 제한 범주를 도입하며, 미분, 제한, 그리고 이들의 상호작용에 대한 공리계를 제시한다.
• 좌측 가환성 제한 범주를 정의하고, 상호작용 가능한 사상들의 조인을 사용하여 부분성과 호환성을 모델링한다.
• 조인 완비화 구축을 적용하여 상호작용 가능한 부분 함수들의 조인을 자유롭게 추가하고, 완비화된 범주로의 미분 구조가 유지됨을 증명한다.
• 고전적 완비화 구축을 적용하여 제한 범주에 대한 고전적 추론이 가능하게 하며, 함수의 껍질을 통해 미분 구조가 유지됨을 보인다.
• 분수 모나드와 유리 함수를 사용하여 이 이론의 모델을 구성하며, 특히 분수 구성의 비분배성 때문에 약한 릉(weak rigs)을 사용해야 하는 맥락에서 고려한다.
• 특정 점에서의 함수 껍질이 유도미분을 잘 정의로 갖는다는 것을 보여, 미분 제한 범주의 고전적 완비화가 다시 한 번 미분 제한 범주가 되며, 이는 고전적 추론이 미분 구조와 호환됨을 보여준다.

실험 결과

연구 질문

• RQ1 R^n의 열린 부분집합에서 정의된 부분 함수, 예를 들어 고립된 특이점을 가진 미분 가능 함수에 대해, 미분법을 순수하게 대수적 공리계로 정의할 수 있는가?
• RQ2 범주론적 맥락에서 가환성과 선형성 개념을 부분 함수에 의미 있게 확장할 수 있는가?
• RQ3 제한 범주에 대한 조인 완비화는, 상호작용 가능한 부분 함수들의 조인을 자유롭게 추가하는 바에 있어, 이에 따른 미분 구조가 유지되는가?
• RQ4 제한 범주에 대한 고전적 완비화는, 닫힌 집합이나 껍질에서 정의된 함수에 대해 추론을 가능하게 하며, 이에 따른 미분 구조가 유지되는가?
• RQ5 특정 점이나 닫힌 집합에서만 정의된 함수의 미분은 어떤 범주론적 및 대수적 성질을 가지며, 이는 껍질과 어떻게 관련되는가?

주요 결과

• 미분 제한 범주의 고전적 완비화 역시 다시 한 번 미분 제한 범주임을 보여, 고전적 추론과의 호환성과 함께 미분 구조가 유지됨을 확인한다.
• 조인 완비화를 통해 미분 구조가 유지되며, 상호작용 가능한 부분 함수들의 조인을 보존하고, 도함수가 조인 연산과 교환됨을 보장한다.
• 특정 점에서만 정의된 함수, 예를 들어 f(x) = 2x at x = 5와 같은 함수는 껍질로 간주될 수 있으며, 이들의 도함수는 이 프레임워크 내에서 잘 정의되어 있다.
• 분수 모나드를 통한 유리 함수의 구성은 이 이론의 모델을 제공하지만, 분수 구성의 비분배성 때문에 약한 릉을 사용해야 한다는 점을 고려해야 한다.
• 미분 제한 범주에서 고전적 완비화로의 단위 함자(functor)는 가환성, 강한 가환성, 선형성을 유지하므로, 완비화 과정 전후의 구조적 일관성이 보장된다.
• 이 이론은 부분성과 자원 민감한 계산이 가능한 맥락에서 단순 유형의 미분 람다 계산의 의미론적 기초를 제공한다.