[논문 리뷰] An informal introduction to topos theory

Tom Leinster|arXiv (Cornell University)|2010. 12. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 8

한 줄 요약

이 비공식적인 토포스 이론 서론은 원소 토포스를 일반화된 집합, 공간, 대수적 이론의 범주로 제시하며, 기하학적 및 대수적 이론의 분류 토포스로서의 역할을 강조한다. 모든 토포스가 기하학적 준위를 통해 이론—예를 들어 군이나 환—을 분류함을 보여주며, 핵심 결과는 군의 분류 토포스가 유한 생성 가능한 군의 범주 위의 프레샤프 토포스라는 것이다.

ABSTRACT

This short expository text is for readers who are confident in basic category theory but know little or nothing about toposes. It is based on some impromptu talks given to a small group of category theorists.

연구 동기 및 목표

• 기본 범주론 지식은 있지만 토포스 이론 배경이 거의 없는 독자에게 접근하기 쉬운, 비공식적인 토포스 이론 입문을 제공하는 것.
• 범주적 대칭을 통해 토포스가 집합, 공간, 대수적 이론을 어떻게 일반화하는지 설명하는 것.
• 집합론, 기하학, 보편대수학을 통합하는 데 토포스가 수행하는 역할을 설명하는 것.
• 기하학적 준위와 토포스 내에서의 대수적 이론의 모델 간의 관계를 명확히 하는 것.
• 모든 토포스가 어떤 기하학적 이론의 분류 토포스로 나타남을 보여주며, 프레샤프 토포스를 핵심 구성 수단으로 사용하는 것.

제안 방법

• 서브개체 분류자(서브개체 분류자)를 집합의 특성 함수를 통해 소개하기 위해 집합의 범주를 동기화 예시로 사용한다.
• 유한한 극한, 서브개체 분류자, 카르테시안 닫힘 구조를 갖춘 범주로 원소 토포스를 정의한다.
• 요나다의 보조정리와 당김의 개념을 적용하여 서브개체 분류자의 보편 성질을 형식화한다.
• 기하학적 준위를 오른쪽 수반 함자(오른쪽 수반 함자)가 유한한 극한을 유지하는 양방향 함자 쌍으로 정의한다.
• 서브개체 분류자가 Set에서 토포스로의 기하학적 준위를 통해 이론을 분류함을 보여주며, 이에 대응하는 이론의 모델이 존재함을 설명한다.
• 디아코네스크의 정리를 적용하여, 유한한 극한을 유지하는 함자를 분류하는 데에, 유한한 극한을 갖는 범주 위의 프레샤프 토포스가 사용됨을 보여준다.

실험 결과

연구 질문

• RQ1 어떻게 토포스 이론이 ZFC보다 실제 수학적 실천에 더 가까운 집합론의 대안 기초로 기능할 수 있는가?
• RQ2 어떤 의미에서 토포스를 일반화된 공간으로 볼 수 있으며, 이는 층과 그로텐디크 토포스와 어떻게 관련되는가?
• RQ3 어떻게 토포스가 군이나 체와 같은 대수적 이론을 분류하는가?
• RQ4 토포스로의 기하학적 준위와 그 토포스 내에서의 이론의 모델 사이의 정확한 대응 관계는 무엇인가?
• RQ5 모든 토포스가 어떤 기하학적 이론의 분류 토포스로 이해될 수 있으며, 이는 어떻게 프레샤프 토포스를 통해 실현되는가?

주요 결과

• 집합의 범주는 두 원소 집합을 서브개체 분류자로 갖는 토포스이며, 이 구조는 부분집합과 특성 함수 사이의 대응을 뒷받침한다.
• 모든 원소 토포스는 일반화된 집합의 범주이며, 모든 그로텐디크 토포스는 층의 범주이며, 본문에서 주로 다루는 것은 이 전자이다.
• 토포스는 일반화된 공간으로 볼 수 있으며, 그로의 기하학적 준위는 점 또는 이론의 모델에 대응한다.
• 군의 이론을 분류하는 데 쓰이는 분류 토포스는 유한 생성 가능한 군의 범주 위의 프레샤프 토포스이며, $\mathbf{Set}^{\mathbf{Grp}_{\mathrm{fp}}}$로 표기된다.
• 모든 유한한 극한을 갖는 소형 범주 $\mathbb{C}$에 대해, 프레샤프 토포스 $\widehat{\mathbb{C}}$는 디아코네스크의 정리를 통해 $\mathbb{C}$에서 유한한 극한을 유지하는 함수를 분류한다.
• 모든 토포스는 어떤 기하학적 이론의 분류 토포스로 나타나며, 이는 이론과 그 분류 토포스 사이의 이중성(duality)을 확립한다.