대수적 집합 이론에서 로우리 티에르니 시프

초록

본 논문은 대수적 집합 이론(Algebraic Set Theory, AST)에서 토포스 이론의 내부 시프 개념을 Lawvere‑Tierney 커버리지를 이용해 일반화한다. 기존 Joyal‑Moerdijk의 작은 사상(small map) 공리들을 약화시켜, 보다 넓은 범위의 모델에서도 시프 구조를 구축할 수 있음을 보인다. 결과적으로 기존 토포스 기반 결과들을 AST 틀 안으로 끌어들여, 커버리지와 시프의 관계를 새로운 관점에서 통합한다.

상세 분석

논문은 먼저 대수적 집합 이론의 기본 구조인 작은 사상 카테고리(𝒞,𝒮)를 재정의한다. Joyal‑Moerdijk이 제시한 네 가지 공리(P1‑P4)를 그대로 따르지 않고, 특히 “정규성”(regularity)과 “제한성”(boundedness) 조건을 완화한다. 이는 작은 사상이 반드시 전사적(epis)이거나, 모든 풀림(pullback)이 다시 작은 사상이 되지 않아도 된다는 의미이며, 따라서 더 일반적인 클래스(예: 클래스 수준의 집합)에서도 적용 가능하게 만든다.

그 다음, Lawvere‑Tierney 커버리지 j:Ω→Ω(Ω는 내부 논리의 진리 객체)를 도입한다. 기존 토포스 이론에서는 Grothendieck 커버리지를 통해 시프를 정의하지만, 여기서는 j가 만족하는 세 가지 핵심 조건(정체성, 모노성, 합성 폐쇄)을 이용해 “j‑시프”를 정의한다. 중요한 점은 j가 작은 사상 구조와 호환되도록 설계되어, j‑시프 객체가 작은 사상의 안정성 아래에서도 닫힌 연산(예: 지수, 한계)들을 보존한다는 것이다.

주요 정리로는 다음과 같다. (1) (𝒞,𝒮) 위에 주어진 Lawvere‑Tierney 커버리지 j에 대해, j‑시프들의 전류(Full subcategory) 𝒞_j는 다시 작은 사상 구조를 갖는 AST 모델이 된다. (2) j‑시프 전환 functor a_j:𝒞→𝒞_j는 좌측 적당한 반사(reflection)이며, 이는 기존 토포스 이론의 시프 사상과 완전히 동형이다. (3) 작은 사상의 약화된 공리 하에서도, a_j는 지수 객체와 한계 객체를 보존한다는 것이 증명된다.

또한, 저자들은 기존의 Grothendieck 커버리지 기반 결과들을 Lawvere‑Tierney 커버리지로 재해석한다. 특히, “밀도(density)”, “정규성(regularity)”, “완전성(completeness)”와 같은 개념들이 j‑시프 카테고리 안에서 어떻게 전이되는지를 상세히 분석한다. 이를 통해, 기존 토포스 이론에서만 가능하다고 여겨졌던 내부 시프 구조가, AST의 보다 약한 환경에서도 동일하게 구현될 수 있음을 보여준다.

마지막으로, 몇 가지 구체적인 예시(예: 집합론적 모델 V, 실현 가능한 집합론 모델, 그리고 클래스 수준의 모델)에서 j‑시프 구조를 구축하고, 그 결과가 기존 토포스 이론과 일치함을 확인한다. 이는 AST가 토포스 이론의 일반화된 프레임워크로서 충분히 강력함을 실증한다.