[논문 리뷰] Closedness properties of internal relations IV: Expressing additivity of a category via subtractivity

Zurab Janelidze|ArXiv.org|2006. 10. 03.

Advanced Algebra and Logic참고 문헌 9인용 수 7

한 줄 요약

이 논문은 유한한 완비성을 갖는 점이 있는 범주에서 이진 합과 단사사상 및 전사사상을 통한 사상 분해 조건을 만족할 때, 그 범주가 가환적일 필요충분조건이 바로 그 범주와 그 반대범주가 모두 감소적임을 증명한다. 주요 기여는 가환성의 개념을 감소성 조건을 통해 범주론적으로 특성화한 것으로, 이는 유스니의 감소적 다양체 이론을 추상적 범주로 일반화한 것으로, 아벨 범주는 정확히 그 범주와 그 반대범주가 모두 감소적 조건을 만족할 때 발생함을 보여준다.

ABSTRACT

The notion of a subtractive category, recently introduced by the author, is a ``categorical version'' of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. We show that a subtractive variety $\C$, whose theory contains a unique constant, is abelian (i.e. $\C$ is the variety of modules over a fixed ring), if and only if the dual category $\C^\mathrm{op}$ of $\C$, is subtractive. More generally, we show that $\C$ is additive if and only if both $\C$ and $\C^\mathrm{op}$ are subtractive, where $\C$ is an arbitrary finitely complete pointed category, with binary sums, and such that each morphism $f$ in $\C$ can be presented as a composite $f=me$, where $m$ is a monomorphism and $e$ is an epimorphism.

연구 동기 및 목표

• 유니버설 대수학에서의 감소적 다양체 개념을 추상적 점이 있는 범주로 확장하기.
• 유한한 완비성을 갖는 점이 있는 범주에서 이진 합과 단사사상 및 전사사상을 통한 사상 분해 조건을 만족할 때 가환 범주가 되는 조건을 특성화하기.
• 감소적 범주의 개념을 사용하여 가환성에 대한 이중성 기반 기준을 수립하기.
• Barr 정확한 범주가 가환적일 필요충분조건이 바로 그 범주와 그 반대범주가 모두 감소적임을 보여주기.
• 범주론적 이중성에 의해 카테고리 이론적 및 유니버설 대수학적 감소성과 가환성 개념을 통합하기.

제안 방법

• 감소적 범주의 정의를 사용: 임의의 부분사상 r: R → A×A에 대해, (a,a)와 (a,0)이 R에 속해 있으면 (0,a)도 R에 속해야 한다.
• 범주가 유한한 극한과 이진 합을 가지며, 모든 사상이 단사사상과 전사사상의 복합으로 분해된다는 조건을 적용한다.
• 범주와 그 반대범주 간의 이중성 관계를 활용하여 C와 C^op의 감소성 조건을 연결한다.
• 삼항관계 R′ ⊆ A³을 (a,b,c) ∈ R′ iff (b,c) ∈ R 이고 (a,s(b,c)) ∈ R 이라고 정의하고, 감소성 조건을 이용해 특정 행렬 조건에 대해 R′를 닫힘으로 만든다.
• 뺄셈 연산 s: A×A → A가 전체적이고, s(x,x)=0 및 s(x,0)=x 를 만족함을 보여 (A,s,0)이 뺄셈 대수임을 증명한다.
• 범주 내 임의의 사상 f: A → A′ 가 뺄셈 구조를 보존함을 증명하여, f 가 뺄셈 대수의 준동형사상임을 보여준다.

실험 결과

연구 질문

• RQ1 유한한 완비성을 갖는 점이 있는 범주에서 이진 합과 사상 분해 조건 f=me (m 단사, e 전사)를 만족할 때, 어떤 조건에서 가환 범주가 되는가?
• RQ2 가환성의 성질을 감소성과 이중성의 관점에서 순수하게 어떻게 표현할 수 있는가?
• RQ3 가환성의 맥락에서 감소적 성질이 범주와 그 반대범주 간에 어떤 관계를 맺는가?
• RQ4 Barr 정확한 범주에서 가환성 성질을 범주와 그 반대범주에서의 감소성 조건을 통해 특성화할 수 있는가?
• RQ5 어떤 범주론적 조건에서 감소적 다양체가 아벨 범주가 되는가?

주요 결과

• 유한한 완비성을 갖는 점이 있는 범주에서 이진 합과 사상 분해 f=me (m 단사, e 전사) 조건을 만족할 때, 그 범주가 가환적일 필요충분조건이 바로 그 범주와 그 반대범주가 모두 감소적임이다.
• 이진 합을 갖는 Barr 정확한 범주는 가환적일 필요충분조건이 바로 그 범주와 그 반대범주가 모두 감소적임이다.
• 뺄셈 연산 s: A×A → A 는 전체적이고, s(x,x)=0 및 s(x,0)=x 를 만족하므로 (A,s,0)은 뺄셈 대수이다.
• 사상 (1_A,1_A; 1_A,0): A+A → A×A 는 전사사상이며, 이는 뺄셈 연산을 구성하는 데 핵심적이다.
• 이러한 범주 내의 임의의 사상 f: A → A′ 는 뺄셈 구조를 보존하므로, f 는 뺄셈 대수의 준동형사상이다.
• 결과적으로 이는 유스니의 감소적 다양체 개념을 추상적 범주로 일반화한 것으로, 아벨 범주는 정확히 C와 C^op가 모두 감소적 조건을 만족하는 범주임을 보여준다.