범주론적 내부성의 새로운 접근

초록

이 논문은 모델 이론의 내부성 개념을 범주론적으로 재구성하고, 그에 대응하는 자동동형군이 정의 가능한 군으로 나타나는 범주 수준의 정리를 증명한다. 정의 가능한 집합들의 범주를 적용하면 기존 모델 이론 결과를 회복한다.

상세 분석

논문은 먼저 모델 이론에서 내부성(internality)이란 어떤 구조 M이 부분 구조 N 위에 ‘내부적으로’ 정의될 수 있는 상황을 말하며, 이때 M 위의 N-자동동형군이 정의 가능한 군으로 나타난다는 사실을 상기한다. 저자는 이 개념을 범주론적 언어로 옮기기 위해, 먼저 ‘정의 가능한 집합들의 범주(Def)’를 정형화하고, 이 범주가 충분히 풍부한 한계와 콜리미트를 갖는 ‘유한 완비’ 범주임을 확인한다. 그런 다음 내부성을 표현하기 위한 핵심 도구로 ‘내부 커버(internal cover)’와 ‘정규 사상(regular morphism)’을 도입한다. 내부 커버는 어떤 사상이 다른 사상에 대해 ‘내부적으로’ 풀려 있는 구조적 관계를 범주 수준에서 포착하며, 이는 전통적인 내부성 조건인 “모델이 reduct 위에 internal”과 정확히 대응한다.

주요 정리는 다음과 같다. ‘내부 커버’ f : X → Y 가 주어지면, Y 위의 자동동형군 Aut_Y(X) 가 X‑Y‑정의 가능한 객체들의 범주 안에서 정의 가능한 군 객체로 존재한다. 이를 증명하기 위해 저자는 먼저 ‘가군 객체(group object)’와 ‘작용 객체(action object)’의 개념을 범주 내에서 정의하고, 내부 커버가 생성하는 ‘가군화(grouplike) 구조’를 이용해 Aut_Y(X) 가 이러한 가군 객체의 내부 동형군으로 동등함을 보인다. 핵심 아이디어는 ‘섬유화(fibration)’와 ‘가족(family) 구조’를 이용해 자동동형군을 ‘섬유별’로 구성하고, 각 섬유가 정의 가능한 군으로 식별될 수 있음을 보이는 것이다. 특히, 저자는 ‘가족의 전단(fiberwise) 동형군’을 정의하고, 이를 전역 자동동형군과 동형 사상으로 연결하는 ‘전단-전역 대응(fiber-to-global correspondence)’을 구축한다.

증명 과정에서 사용된 기술적 도구로는 ‘가족 제한(family restriction)’, ‘동형 사상에 대한 보조 사상(covering morphism)’, 그리고 ‘정의 가능한 군 객체의 내재화(internalization)’가 있다. 저자는 또한 ‘정의 가능한 함자(definable functor)’를 통해 모델 이론의 구조적 변환을 범주론적 함자와 동형시켜, 기존 모델 이론 결과가 ‘Def’ 범주 안에서 자연스럽게 재현된다는 점을 강조한다. 마지막으로, 이 범주론적 프레임워크가 기존의 Galois 이론, 토포스 이론, 그리고 고차 논리의 내부성 개념과도 깊은 연관성을 갖는다는 점을 논의한다.