분할 에피모르피즘을 통한 내부 전카테고리와 반사 그래프

초록

이 논문은 임의의 범주 B에서 분할 에피모르피즘을 기준으로 정의된 내부 반사 그래프와 전카테고리를 연구한다. 특히, 합동 사영이 되는 경우와 반직접곱 사영이 되는 경우를 구분하여 각각 가법적·반가법적 상황을 분석하고, 전카테고리와 2‑사슬 복합체 사이의 기존 동형성을 일반화한다. 또한 강단위 범주와 같은 추상적 환경에서도 적용 가능한 틀을 제시한다.

상세 분석

논문은 먼저 “분할 에피모르피즘(relative split epimorphism)”이라는 개념을 도입한다. 이는 B 안의 사영 p : X → Y와 그에 대한 섹션 s : Y → X 가 존재함을 의미하며, 이러한 구조를 기준으로 내부 반사 그래프와 전카테고리를 재정의한다. 전통적인 내부 카테고리 이론에서는 사영 자체가 구조를 결정하지만, 여기서는 사영이 어떤 형태(예: 합동 사영, 반직접곱 사영)인지에 따라 전카테고리의 내부 연산이 달라진다.

가법적 경우에는 B가 아벨리안(또는 적어도 additive) 범주라고 가정하고, 분할 에피모르피즘을 “합동 투사”로 본다. 이때 반사 그래프는 객체 A 와 B 사이에 존재하는 두 사영 d₀, d₁ 와 섹션 s 가 합동 구조를 보존하도록 강제된다. 전카테고리는 이러한 그래프에 추가적인 합성 연산 m 을 부여한 것으로, m은 두 사영을 합동으로 결합하는 역할을 한다. 저자들은 이러한 구조가 정확히 2‑체인 복합체( C₁ → C₀ → 0 )와 동형임을 보이며, 기존에 알려진 “전카테고리 ≅ 2‑체인 복합체” 정리를 합동 사영에 한정된 형태로 재구성한다.

반가법적 경우는 보다 일반적인 “반직접곱 사영”을 고려한다. 여기서는 B가 반가법적(semi‑additive) 범주이며, 객체 X 가 Y 와 Z 의 반직접곱 Y ⋉ Z 으로 분해될 수 있다고 가정한다. 이때 분할 에피모르피즘은 첫 번째 사영 π₁ : Y ⋉ Z → Y와 그 섹션 ι₁ 을 의미한다. 반사 그래프와 전카테고리의 정의는 이 구조에 맞게 조정되며, 특히 합성 연산은 반직접곱의 작용을 반영한다. 저자들은 이러한 전카테고리가 “반직접곱 2‑체인 복합체”와 동형임을 증명하고, 이는 기존 가법적 경우를 포함하는 일반화된 결과이다.

마지막으로, 논문은 강단위 범주(strongly unital category)와 같은 추상적 환경에서도 동일한 정의가 유효함을 보인다. 강단위 범주는 모든 객체가 단위 사영을 갖는 특성을 가지며, 여기서도 분할 에피모르피즘을 이용한 내부 전카테고리 이론이 자연스럽게 전개된다. 전체적으로 이 연구는 내부 카테고리 구조를 분할 에피모르피즘이라는 새로운 관점에서 재해석함으로써, 가법적·반가법적 상황을 아우르는 포괄적인 이론 체계를 제공한다.