원자 토포스와 가산 범주성: 모델이론적 완전성의 새로운 시각

본 논문은 “원자 토포스와 가산 범주성”이라는 주제로, 원자 토포스를 분류하는 기하학적 이론을 모델‑이론적으로 규정하고, 이러한 이론이 가산 언어에서 가산 범주성을 갖는다는 주요 정리를 증명한다. 첫 번째 장에서는 원자 토포스의 기본 개념을 정리한다. 정의 1.1에 따라 객체 A가 원자라면 자기 자신과 영 객체 외에 비자명한 부분 객체가 존재하지 않는다. 명제 1.2는 연관된 시프 함자 aj가 원자를 보존한다는 사실을 증명하고, 이를 통해 원자 토포스의 구조가 보존적임을 확인한다. 명제 1.3은 Grothendieck 토포스 E가 원자이기 위한 필요충분조건을 제시한다: (i) 원자들의 생성 집합이 존재하고, (ii) 모든 원자는 그 생성 집합의 에피이미지이다. 이 결과는 원자 토포스가 ‘원자들의 합’으로 완전히 기술될 수 있음을 보여준다. 다음으로, 원자 토포스의 부분 토포스가 역시 원자임을 증명한다(명제 1.5). 이는 원자 토포스가 부울이며, 모든 부분 토포스가 개방(open)이고, 개방 사상이 원자 사상과 합성될 때 원자성을 유지한다는 사실에 기반한다. 명제 1.4와 1.6·1.8은 일반 카테고리 C에 대해 원자 위상 J_at을 정의하고, 그에 대한 쉐이프 토포스 Sh(C, J_at)가 원자 토포스가 됨을 보인다. 특히, C가 오른쪽 Ore 조건을 만족하면 J_at이 가장 작은 Grothendieck 위상이 되며, 이 위상 아래에서 모든 비공집합 시브가 커버가 된다. 두 번째 장에서는 기하학적 이론 T와 그 분류 토포스 Set