[논문 리뷰] Derivations in Codifferential Categories

Richard Blute, Rory B. B. Lucyshyn-Wright외 1명|arXiv (Cornell University)|2015. 05. 01.

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

한 줄 요약

이 논문은 코미분 범주에서 유도자의 일반화된 개념으로 Beck T-유도자를 도입하며, 카허 미분형과 미분 선형 논리의 통합을 이루고 있다. A ⊕ M 위에 자연스러운 T-대체체의 구조를 통해 유도자의 보편 성질을 확립하여, Beck T-유도자가 A 위의 대수 준동형사상과 일대일 대응됨을 증명하고, 대칭 대수 모나드 S와 모나드 사상 λ: S → T를 사용한 코미분 범주의 다른 공리체계를 제시한다.

ABSTRACT

Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential categories. Differential categories were introduced as the categorical framework for modelling differential linear logic. The deriving transform of a differential category, which models the differentiation inference rule, is a derivation in the dual category. We here explore that derivation's universality. One of the key structures associated to a codifferential category is an algebra modality. This is a monad $T$ such that each object of the form $TC$ is canonically an associative, commutative algebra. Consequently, every $T$-algebra has a canonical commutative algebra structure, and we show that universal derivations for these algebras can be constructed quite generally. It is a standard result that there is a bijection between derivations from an associative algebra $A$ to an $A$-module $M$ and algebra homomorphisms over $A$ from $A$ to $A\oplus M$, with $A\oplus M$ being considered as an infinitesimal extension of $A$. We lift this correspondence to our setting by showing that in a codifferential category there is a canonical $T$-algebra structure on $A\oplus M$. We call $T$-algebra morphisms from $TA$ to this $T$-algebra structure Beck $T$-derivations. This yields a novel, generalized notion of derivation. The remainder of the paper is devoted to exploring consequences of that definition. Along the way, we prove that the symmetric algebra construction in any suitable symmetric monoidal category provides an example of codifferential structure, and using this, we give an alternative definition for differential and codifferential categories.

연구 동기 및 목표

• 기본적인 미분 형식을 넘어서 대수적 및 범주론적 맥락에서 유도자의 개념을 일반화하는 것.
• 미분 범주에서의 쌍대 구조를 활용하여 코미분 범주에서의 유도자에 대한 보편 성질을 확립하는 것.
• Beck T-유도자가 A ⊕ M 위의 대수 구조를 통해 T-대체체에 대한 보편적, 자연스러운 유도자 구성법을 제공함을 보여주는 것.
• 기존의 프레임워크를 포함하는 대칭 대수 기반의 코미분 범주에 대한 새로운 정의를 제공하는 것.
• 범주적 대칭과 모나드 기반의 대수 모odalities를 통해 미분 선형 논리와 카허 미분형 이론을 통합하는 것.

제안 방법

• Beck T-유도자를 (A, ν)에서 W(A, M)로 가는 T-대체체 준동형사상으로 정의하며, 이는 A 위의 슬라이스 범주에서 A ⊕ M 위의 자연스러운 T-대체체의 구조이다.
• A ⊕ M 위에 자연스러운 T-대체체의 구조를 구성하여, 그 기초 대수는 고전적인 무한소 확장 A ⊕ M과 동형임을 보장한다.
• 미분 범주에서의 유도 전환의 보편 성질을 활용하여, 고전적인 유도자와 대수 준동형사상 사이의 관계를 코미분 맥락으로 일반화한다.
• 대칭 대수 모나드 S를 도입하여 범주 C 위에 코미분 구조를 정의하며, 반사적 공등화자들이 텐서 곱에 의해 보존된다고 가정한다.
• 코미분 범주 구조와 자연성 및 연쇄 법칙 공리식을 만족하는 삼중조합 (T, λ: S → T, dT: T → T ⊗ −) 사이의 동치를 확립한다.
• λ와 유도 전환 dSC의 관련 다이어그램의 교환성에 의해, dTC가 S-유도자(즉, 일반적인 유도자)임을 증명한다.

실험 결과

연구 질문

• RQ1 한계나 다양체가 없는 범주론적 맥락에서 대수적 맥락의 유도자를 어떻게 일반화할 수 있는가?
• RQ2 코미분 범주에서의 유도 전환의 보편 성질은 무엇이며, Beck T-유도자와의 관계는 어떠한가?
• RQ3 고전적인 A ⊕ M로의 유도자와 대수 준동형사상 사이의 관계는 모나드와 T-대체체를 포함하는 범주론적 맥락으로 어떻게 일반화될 수 있는가?
• RQ4 대칭 대수 모나드 S가 범주 C 위에 코미분 구조를 유도하는 데 필요한 조건은 무엇인가?
• RQ5 변환 dT: T → T ⊗ −가 T-유도자임과 동시에 연쇄 법칙을 만족시키기 위한 공리적 조건은 무엇인가?

주요 결과

• Beck T-유도자는 A에서 A ⊕ M로의 대수 준동형사상과 일대일 대응되며, 이는 교환 대수 이론에서의 고전적 대응을 일반화한다.
• A ⊕ M 위에 자연스러운 T-대체체의 구조를 구성함으로써, 그 기초 대수는 표준적인 무한소 확장 A ⊕ M과 동형임을 보장한다.
• 주어진 공리들 하에, 유도 전환 dTC가 S-유도자임을 증명하여, 고전적 의미에서 곱의 법칙을 만족함을 보여준다.
• 연쇄 법칙 공리식 (d3)는 다이어그램 (1)의 바깥쪽 다이어그램의 교환성과 동치이며, 이는 ηS_C의 보편 성질에 의해 확립된다.
• 논문은 대칭 대수 모나드 S, 모나드 T, 모나드 사상 λ: S → T를 사용하여 코미분 범주에 대한 새로운이고 간결한 정의를 제시한다.
• 코미분 범주 구조와 자연성 및 연쇄 법칙을 만족하는 삼중조합 (T, λ, dT) 사이의 동치를 엄밀히 증명하였으며, 모든 공리식이 핵심 다이어그램의 교환성으로 귀결됨을 보였다.