Lawvere 첫 번째 문제 해결과 클래스 규모의 몫 토포이

초록

이 논문은 Lawvere가 제시한 “Grothendieck 토포이의 몫 토포이 개수가 작지 않을 수 있는가?”라는 첫 번째 열린 문제를 해결한다. 저자들은 자유 모노이드 (M_{\omega}) 위의 프레시베 토포이 (PSh(M_{\omega}))를 구체적으로 구성하고, ‘거주 객체 이론’의 분류 토포이와 강체(relational) 구조의 존재 정리를 이용해 이 토포이가 적어도 하나의 proper class 만큼의 서로 비동형인 연결 기하학적 사상(즉, 몫 토포이)을 가짐을 증명한다. 핵심은 객체의 강성(rigidity)을 단계적으로 강화하여 ‘거주‑토포이‑강체(inhabited‑topos‑rigid)’ 객체를 만들고, 이를 통해 클래스 수준의 서로 다른 연결 사상을 얻는 것이다.

상세 분석

논문은 먼저 몫 토포이(connected geometric morphism)의 정의와 동등성 개념을 명확히 정리하고, “정수 개수의 몫 토포이”라는 질문이 의미하는 바를 ‘동등 클래스’ 기준으로 한정한다. 이후 핵심 기술적 도구로 두 종류의 분류 토포이, 즉 객체 이론의 분류 토포이 (A=