접착 범주의 내재 정리와 토포스와의 관계

초록

본 논문은 토포스가 접착 범주임을 새로운 증명으로 제시하고, 반대로 모든 작은 접착 범주가 토포스 안에 완전 충실하게 삽입될 수 있음을 보인다. 이를 통해 접착 범주의 정의에 포함된 정확성 조건이 토포스에서의 푸시아웃(단일 사상에 대한)과 풀백 사이의 관계와 정확히 일치함을 확인한다.

상세 분석

접착 범주(adhesive category)는 푸시아웃이 한 변이 단사인 경우에만 존재하고, 모든 풀백을 갖는 카테고리로 정의된다. 이때 푸시아웃과 풀백 사이에 “정확성”(exactness) 조건이 추가되는데, 이는 푸시아웃이 풀백을 보존하고, 풀백이 푸시아웃을 보존한다는 형태로 표현된다. 논문은 먼저 토포스가 이러한 조건을 만족한다는 사실을 새로운 방식으로 증명한다. 기존 증명은 내부 논리와 서브오브젝트 분류자를 이용했지만, 저자는 토포스의 내부 언어와 지시체(geometric morphism) 구조를 활용해 푸시아웃이 단사에 대해 항상 존재하고, 그 푸시아웃이 풀백을 보존함을 직접적으로 보여준다.

핵심은 토포스가 갖는 ‘정규 모노모르피즘’(regular monomorphism)과 ‘정규 에피모르피즘’(regular epimorphism)의 특성이다. 토포스에서는 모든 모노가 정규이며, 따라서 푸시아웃을 구성할 때 단사 사상이 정규 모노가 되므로 푸시아웃이 정확히 서브오브젝트 분류자를 통해 정의된다. 이 과정에서 풀백과의 교환 법칙이 자동으로 성립한다는 점을 저자는 상세히 전개한다.

다음으로 저자는 작은 접착 범주 C에 대해, C의 객체와 사상을 그대로 보존하면서 토포스 𝔖et^{C^{op}}(프레시헤이브 토포스) 안에 완전 충실하게 삽입하는 함자를 구성한다. 이 삽입은 Yoneda 레키(embedding)를 기반으로 하며, C의 푸시아웃과 풀백이 프레시헤이브 토포스에서도 동일하게 보존되는지를 검증한다. 특히, C에서 존재하는 푸시아웃이 단사에 대한 것이므로, Yoneda 사상은 이러한 푸시아웃을 한계(limit)와 공한계(colimit) 형태로 전환시켜 프레시헤이브 토포스 내에서도 같은 형태로 재현한다. 결과적으로 C는 토포스 내부의 접착 구조와 동형인 구조를 갖게 된다.

이 두 결과를 결합하면, 접착 범주의 정의에 들어가는 정확성 조건이 “토포스에서 푸시아웃과 풀백이 서로 교환되는 관계”와 동치임을 확인한다. 즉, 접착 범주는 토포스와 동형인 구조적 성질을 내재하고 있음을 보이며, 이는 범주론적 모델링, 특히 그래프 재작성 시스템과 같은 분야에서 중요한 의미를 가진다.