엄격 무한 범주와 구체적 이중성

초록

이 논문은 엄격 ∞‑범주의 기본 이론을 전개하고, 이를 통해 고전적인 대수·위상 이중성들을 자연스러운 형태로 통합한다. 구체적 이중성의 존재 기준을 제시하고, 새로운 고차 범주적 예시들을 제안한다.

상세 분석

논문은 먼저 엄격 ∞‑범주의 정의를 전통적인 1‑범주와 2‑범주 이론을 확장하는 방식으로 정리한다. 객체, 1‑사상, 2‑사상 … n‑사상을 모두 엄격하게 결합 규칙과 동등성(동형사상) 없이 다루며, 복합합성 연산을 전역적으로 정의한다. 특히 ‘원소적’(elementary) 접근법을 채택해 복잡한 고차 구조를 집합론적 기반 위에 놓고, 각 차원의 사상들을 집합의 함수로 구현한다는 점이 특징이다.

이후 구체적 이중성(concrete duality)의 개념을 ‘자연스러운’(natural) 이중성으로 재정의한다. 여기서 자연스러움은 두 범주 사이의 쌍대함수가 각각의 객체를 실제 집합(또는 대수 구조)으로 ‘구체화’하고, 사상들을 그 구체화된 대상 위의 함수로 전환한다는 의미이다. 저자는 기존의 유명한 이중성—예를 들어 Gelfand‑Naimark 이중성(컴팩트 하우스도프 공간 ↔ 교환 C*‑대수), Pontryagin 이중성(아벨 군 ↔ 그 이중군), Stone 이중성(부울 대수 ↔ 초극한 위상 공간)—을 모두 이러한 자연스러운 구체화 과정으로 설명한다.

핵심 기여는 고차 범주에서도 동일한 구체적 이중성을 성립시키기 위한 ‘존재 기준’을 제시한 점이다. 저자는 두 엄격 ∞‑범주 𝒞와 𝒟가 각각 ‘구체화 펑터’ F:𝒞→Set, G:𝒟→Set를 갖고, F와 G가 각각 완전하고 연속적인(또는 코연속적인) 구조를 보존할 때, 그리고 양쪽 범주의 모든 고차 사상들이 F와 G에 의해 집합론적 함수로 완전히 재현될 때, 𝒞와 𝒟 사이에 자연스러운 구체적 이중성이 존재한다는 정리를 증명한다. 이 정리는 기존의 ‘대수적’ 혹은 ‘위상적’ 이중성을 고차 범주론적 맥락으로 일반화하는 강력한 도구가 된다.

마지막으로 저자는 이 기준을 이용해 새로운 예시들을 만든다. 예를 들어, 엄격 ∞‑군(∞‑group)과 그 이중 ∞‑코알제브라(∞‑co‑algebra) 사이의 이중성, 그리고 고차 논리 체계와 그 모델 범주 사이의 이중성을 구체화한다. 이러한 예시는 기존 이중성의 ‘자연스러움’이 고차 구조에서도 유지될 수 있음을 보여준다. 전체적으로 논문은 엄격 ∞‑범주의 기초를 체계화하고, 구체적 이중성의 보편적 틀을 제공함으로써 고차 범주론과 전통적 대수·위상 이론 사이의 다리를 놓는다.