아벨리안 범주와 아벨리안 2 범주의 관계

초록

Dupont가 증명한 바와 같이, 아벨리안 2-범주에서 이산 객체와 연결 객체(또는 코디스크리트 객체)들의 범주는 서로 동형인 아벨리안 범주를 이룬다. 이 논문에서는 이러한 구조가 모든 아벨리안 범주에서 나타날 수 있는지를 질문하고, 충분한 사영체 혹은 주입체를 가진 경우에 한해 간단히 해결책을 제시한다.

상세 분석

논문은 먼저 Dupont의 결과를 요약한다. 아벨리안 2-범주 𝒞에서 이산 객체(discrete objects)와 코디스크리트 객체(codiscrete objects, 혹은 connected objects) 각각이 형성하는 서브카테고리 𝒞_disc, 𝒞_codisc는 서로 동형인 아벨리안 범주가 된다. 이때 동형은 2-범주의 구조를 이용한 1-사상과 2-사상의 적절한 제한을 통해 정의된다. Dupont는 이러한 동형이 일반적인 경우에도 성립한다는 가설을 제시했지만, 모든 아벨리안 범주가 이러한 형태로 나타나는지는 미해결 문제로 남아 있었다.

저자는 “충분한 사영체(projective) 혹은 충분한 주입체(injective)가 존재한다”는 가정을 추가함으로써 문제를 단순화한다. 충분한 사영체가 존재한다면, 각 객체 X에 대해 사영체 P와 전사 사상 P → X가 존재한다. 이를 이용해 2-범주 𝒞를 구성할 때, 객체들을 사영체들의 직접합으로 표현하고, 1-사상은 사영체 사이의 사상, 2-사상은 사영체 간 동형사상을 취한다. 이렇게 정의된 𝒞는 자연스럽게 아벨리안 2-범주의 공리를 만족한다. 특히 이산 객체는 사영체들의 직접합 자체가 되고, 코디스크리트 객체는 그 쌍대적인 구조(주입체의 직접곱)와 동형이다.

동등성 검증은 두 서브카테고리 사이의 완전함과 정밀함을 확인함으로 이루어진다. 사영체가 충분히 많을 경우, 모든 아벨리안 범주의 객체는 사영체들의 콜레임(quotient)으로 표현될 수 있으므로, 이산 객체들의 범주는 원래의 아벨리안 범주와 동형이 된다. 주입체가 충분한 경우에도 동일한 논리가 적용되며, 코디스크리트 객체가 원래 범주의 객체와 동형임을 보인다.

결과적으로, 충분한 사영체 혹은 충분한 주입체를 가진 모든 아벨리안 범주는 어떤 아벨리안 2-범주의 이산·코디스크리트 서브카테고리와 동형인 아벨리안 범주로 재구성될 수 있다. 이는 Dupont의 질문에 대한 “긍정적” 답변이며, 추가적인 가정 없이 일반적인 경우는 아직 열려 있다.