예측가능한 대수 집합 이론 셋째 장 층 이론

본 논문은 ‘예측가능한 소형 사상(predicative category with small maps)’이라는 범주론적 프레임워크를 확장하여, 내부 층(sheaf) 구성을 통해 그 구조가 보존됨을 증명한다. 첫 번째 장에서는 연구 동기를 제시하고, 이전 두 편의 논문에서 제시된 예측가능한 소형 사상의 정의와 초기 ZF‑대수(initial ZF‑algebra)의 존재 및 완전성(complete semantics) 결과를 간략히 요약한다. 두 번째 장에서는 기본 정의와 공리를 정리한다. 범주 E는 양의 헤이팅 범주이며, 소형 사상 클래스 S는 아홉 가지 공리(A1–A9)를 만족한다. 이 공리들은 풀백 안정성, 하강, 합, 유한성, 합성, 몫, 컬렉션, 헤이팅, 대각선 등으로 구성되어, ‘클래스’와 ‘집합’ 사이의 관계를 정확히 포착한다. 특히 ‘충분성(fullness)’ 공리는 CZF의 부분집합 수집 공리와 동등하게 작용한다. 세 번째 장에서는 프레시베(pre‑sheaf) 범주에 대한 폐쇄성을 다룬다. 저자는 점wise 소형 사상과 지역적 소형 사상을 구분하고, 각각이 프레시베 범주 Psh(E)에서 어떻게 전승되는지를 증명한다. 여기서 핵심은 두 정의가 동등함을 보이는 것이며, 이를 통해 A1–A9 전부가 프레시베 수준에서도 유지됨을 확인한다. 네 번째 장이 논문의 핵심으로, 내부 층(Sh(E))에 대한 보존 결과를 제시한다. 사이트가 프레젠테이션(presentation)을 갖는 경우, ‘충분성’ 공리와 W‑형 공리(WS)가 층 범주에서도 성립함을 보인다. ‘충분성’ 보존을 위해서는 커버링 사각형과 컬렉션 공리를 이용해 작은 사상이 층 내부에서도 충분히 많은 선택지를 제공하도록 구성한다. W‑형 보존은 ‘다중 선택(Axiom of Multiple Choice, AMC)’을 활용하여, 작은 사상이 층 내부에서도 귀납적 유형을 형성하도록 만든다. 이 과정에서 점wise와 지역적 소형 사상의 동등성을 다시 한 번 확인한다. 다섯 번째 장에서는 이러한 이론적 결과를 구체적인 모델 구축에 적용한다. 초기 ZF‑대수를 Sh(E) 안에서 구성함으로써, CZF·IZF·ZF 등 다양한 구성적 집합 이론의 층 모델을 얻는다. 또한, 이 모델들은 전통적인 포스팅(forcing) 기법과 연계될 수 있음을 언급한다. 저자는 향후 연구 방향으로, 팬 규칙(fan rule)과 연속성 규칙을 CZF 내에서 유도하는 작업을 제시한다. 전체적으로 논문은 예측가능한 소형 사상 범주가 실현성(realizability)과 층(sheaf) 두 가지 확장을 모두 통해 폐쇄성을 유지한다는 통합적 관점을 제공한다. 이는 기존의 알제브라적 집합 이론을 범주론적 토포스 이론과 연결짓는 중요한 진전이며, 특히 구성주의와 예측가능성을 동시에 만족하는 모델을 제공한다는 점에서 학문적 가치가 크다.