위상수학적 관점에서 본 프라이시 구성

논문은 프라이시 구성의 범주론적 일반화를 위상수학(토포스) 시각에서 접근한다. 먼저 범주 C가 합성성(AP)과 공동 포함성(JEP)을 만족하면, Cᵒᵖ에 원자 토폴로지를 부여해 Grothendieck 토포스로 만들 수 있음을 제시한다. 이 토폴로지는 이후 C를 다른 범주 D에 임베딩할 때, D가 C의 κ‑사슬(colimit)들을 모두 가지고 있으면 C‑동질·보편 객체를 구성할 수 있는 기반이 된다. 핵심 정의는 ‘κ‑프라이시 사슬(κ‑Fraïssé sequence)’이다. κ를 무한 정규카디널이라 하고, ~u:κ→C를 사슬(함자)라 하면, (1) 모든 객체 a∈C가 어느 단계 i에 사상 χ:a→u_i 로 매핑되고, (2) 임의의 사상 f:u_i→x에 대해 어느 j≥i와 사상 g:x→u_j가 존재해 u_j_i=g∘f 를 만족한다면 ~u는 프라이시 사슬이다. 추가로 ‘연속성(continuous)’을 요구하면, 극한 단계에서 u_j는 이전 단계들의 colimit이 되고, 이때의 보편 사상이 존재한다. 정리 1.5는 다음을 증명한다. κ가 무한 정규카디널이고 C가 κ‑bounded(모든 λ<κ 길이 사슬이 위에 사슬을 가짐)이며 AP·JEP·|F|≤κ인 지배 사상군 F를 갖는 경우, C를 D에 임베딩하고 D가 κ‑사슬의 모든 colimit을 보유하며 C의 객체가 D에서 κ‑small이면 D 안에 C‑동질·보편 객체 u가 존재한다. 만약 D의 κ‑사슬 사상이 모두 단사이면 u는 초동질(ultrahomogeneous)이며, 이러한 객체는 동형을 제외하고는 유일함을 보인다. 증명은 u를 사슬 ~u의 colimit으로 정의하고, ~u가 프라이시 사슬이면 u가 C‑동질·보편임을 보인다. 연속성 가정이 있으면 u는 초동질성을 얻는다. 두 연속 프라이시 사슬 사이의 사상 f에 대해, 엄격히 증가하는 함수 k,l:κ→κ와 자연 변환 F,G를 귀납적으로 구성해, 최종적으로 colimit 사이의 동형 ˜f를 만든다(사실(3) 단계). 이는 프라이시 사슬이 ‘유니버설’하고 ‘초동질’인 객체를 생성함을 보이는 핵심 기술이다. 그 후 모델 이론에 적용한다. Σ를 한 정렬 서명, T를 Σ‑이론이라 하면, T‑mod(모델과 초등 포함) 카테고리를 C로 두고, κ> |Σ|인 경우 T‑mod_κ(κ‑프레젠터블 객체) 가 AP·JEP·지배 사상군을 만족하면, T는 κ‑크기의 초동질·보편 모델을 갖는다. 이는 전통적인 프라이시 정리의 범주론적·위상수학적 재해석이며, 해당 모델은 유일함을 보인다. 마지막으로 객체의 ‘카디널리티’를 정의한다. C가 Set‑값 함자 U: