원자 객체와 지수함수의 오른쪽 왼쪽 adjoint: “아주 작은” 존재들의 탐구

초록

지수함수 ((-)^{T})가 오른쪽 adjoint ((-){T})를 가질 때의 객체 (T)를 ‘원자 객체’라 부으며, 이러한 객체는 집합론에서는 단일 원소 집합만이 가능함을 보여준다. 저자는 토포스와 특히 전응집(precohesive) 구조를 가진 토포스에서 원자 객체와 그 오른쪽 adjoint의 범주적·위상적 특성을 조사한다. 주요 결과로는 원자 객체의 재추출이 원자임, 전응집 사상 (F{!},F^{*})가 원자성을 보존·반영하는 조건, 그리고 McLarty 토포스에서는 모든 원자 객체가 단말이며 연결·수축성이 보장된다는 것이 있다.

상세 분석

본 논문은 “원자 객체(atomic object)”라는 용어를 사용해, 카테시안 닫힌 범주 (\mathcal{E})에서 지수함수 ((-)^{T})가 오른쪽 adjoint ((-)_{T})를 갖는 객체 (T)를 정의한다. 이는 Lawvere가 제시한 “A.T.O.M.”(amazingly tiny object) 개념과 직접 연결된다.

첫 번째 절에서는 원자 객체들의 기본 성질을 정리한다. 단말 객체는 언제나 원자이며, 초기 객체는 비자명한 경우 원자가 될 수 없음을 보인다. 또한, 유한곱을 취한 원자 객체 역시 원자임을 증명하고, 자연 변환 ((-)^{f})와 ((-){f})가 각각 ((-)^{S}\to(-)^{T})와 ((-){T}\to(-)_{S})를 유도함을 보여준다. 이 변환들은 (\eta,\varepsilon)를 이용한 삼각 관계를 만족한다는 점에서 중요한 역할을 한다.

두 번째 절에서는 원자 객체의 재추출이 다시 원자임을 증명한다(정리 B). 여기서는 (T)가 원자이고 (Q)가 (T)의 재추출이면, ((-)^{Q})가 오른쪽 adjoint를 갖도록 (\Psi,\Psi^{-1})를 명시적으로 구성한다. 이 과정에서 에피-모노 분해와 전이(transpose) 개념을 활용한다.

세 번째 절에서는 토포스 (\mathcal{E}) 내에서 원자 객체와 그 오른쪽 adjoint가 어떻게 “일반화된 단일톤” 역할을 하는지를 보인다. 특히, 전역 원소 (p:1\to T)가 주어지면, 전치 (j_{p,X}:(X)^{T}\to \Omega^{T}X)가 단사이며, 여러 교환 사각형이 만족됨을 정리 A에서 증명한다. 이는 (\Omega^{T})가 “부분집합”을 나타내는 역할을 함을 시사한다.

다음으로 전응집(precohesive) 구조 (\Pi\dashv\Gamma\dashv\Delta\dashv\Lambda)를 갖는 토포스 사이의 사상 (F_{!}\dashv F^{}\dashv F_{})에 대해 원자성 보존·반영 조건을 조사한다(정리 C). 일반적인 전응집 상황에서는 (F^{*})가 원자 객체를 반영하고, (F_{!})가 보존하지만, 반대 방향은 보장되지 않는다.

특히 McLarty 토포스(2‑값 토포스, 지원이 분할되는 전응집 토포스)에서는 모든 원자 객체가 단말이며 따라서 연결 객체가 된다(정리 D). 이 경우 (\Gamma(Y^{T})\cong\Gamma(Y))와 (\Pi(Y^{T})\cong\Pi(Y))가 성립하여, 오른쪽 adjoint가 “아주 작은” 정도를 정확히 유지한다는 강한 결과를 얻는다.

마지막으로 원자 객체의 수축성(contractibility)을 논한다. 전응집 토포스에서 원자 객체는 언제나 수축적이며, McLarty 토포스에서는 (2^{T}\to2)가 동형이면 수축성 여부가 결정된다(정리 E). 현재까지 전응집 맥락에서 비수축적 원자 객체는 알려지지 않았으며, 이는 향후 연구 과제로 제시된다.

전체적으로 논문은 “지수함수의 오른쪽 adjoint 존재”라는 순수 범주적 조건이 “아주 작은” 직관과는 다소 동떨어질 수 있음을 여러 반례와 정리를 통해 보여준다. 원자 객체는 연결성, 수축성, 재추출 보존 등 다양한 성질을 공유하지만, 단일성(singleton)과는 별개의 현상임을 명확히 한다.