예측가능 대수 집합 이론의 기본 정확한 완성

초록

본 논문은 예측가능 대수 집합 이론(Predicative Algebraic Set Theory)의 기초 구조를 다루며, 특히 작은 사상(small maps)과 정규·정확한 범주를 연결하는 ‘정확한 완성(exact completion)’ 과정을 상세히 전개한다. 이를 통해 차후 실현가능성 이론과 층상 모델을 구축하기 위한 범주론적 토대를 마련한다.

상세 분석

논문은 먼저 예측가능 대수 집합 이론의 핵심 개념인 ‘작은 사상’ 구조를 정규 범주 위에 정의한다. 작은 사상은 전단사와 안정성을 만족하며, 집합론적 연산(쌍, 함수, 멱집합 등)을 범주 내부에서 모델링할 수 있게 한다. 저자는 이러한 작은 사상 체계가 ‘정규·정확한’ 범주로 확장될 때 보존되는 조건을 정밀히 분석한다.

정확한 완성은 주어진 정규 범주 𝒞에 대해 모든 동등관계(동형 사상)와 그 합성에 대한 효과적인 코이시(quotient) 구조를 추가함으로써, 𝒞를 정확한 범주 𝒞̂ 로 확장하는 과정이다. 이때 중요한 기술적 난관은 작은 사상이 완성 과정에서 ‘보존’되는가이다. 저자는 ‘소규모 사상 보존 정리’를 증명하여, 𝒞의 작은 사상 클래스 S가 완성된 범주 𝒞̂ 에서도 작은 사상으로 그대로 유지된다는 것을 보인다. 이는 정확한 완성이 예측가능 대수 집합 이론의 핵심 연산을 손상시키지 않음을 의미한다.

또한, 완성된 범주 𝒞̂ 가 ‘유니버스(universe)’ 구조를 갖도록 하는 추가 조건을 제시한다. 구체적으로, 작은 사상에 대한 전역적인 ‘지수 객체’와 ‘파워 객체’가 존재하도록 하는 충분조건을 제시하고, 이를 통해 𝒞̂ 가 ‘집합론적 모델’로서 충분히 강력함을 보인다.

마지막으로, 저자는 이론적 결과를 실현가능성 모델과 층상 모델에 적용하기 위한 준비 단계로 제시한다. 정확한 완성은 실현가능성 위상수학에서의 ‘실현가능성 대수’를 구성하거나, 층상 이론에서 ‘시프’(sheaf) 구조를 정의할 때 필수적인 ‘정확성’과 ‘정규성’ 보장을 제공한다. 따라서 본 논문의 결과는 이후 두 파트에서 다룰 구체적 모델 구축의 기반이 된다.