[논문 리뷰] Set theory for category theory

Michael Shulman|ArXiv.org|2008. 10. 07.

Advanced Algebra and Logic참고 문헌 34인용 수 64

한 줄 요약

이 논문은 범주론에서 집합론적 기초 접근 방식을 종합적으로 비교하며, ZFC에 클래스를 추가한 것에서부터 토포스 이론적 및 범주론적 기초에 이르기까지 다양한 형식화가 적응자 함수와 큰 극한과 같은 핵심 구성요소의 실현 가능성에 어떻게 영향을 미치는지 평가한다. 기본 범주론은 기초 체계에 관계없이 강건하게 유지되지만, 고급 범주론적 구성요소는 선택된 집합론적 프레임워크—특히 집합과 진정한 클래스 사이의 크기 차이에 따라 결정된다는 점을 입증한다.

ABSTRACT

Questions of set-theoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made can have noticeable effects on what categorical constructions are permissible. In this expository paper we summarize and compare a number of such "set-theoretic foundations for category theory," and describe their implications for the everyday use of category theory. We assume the reader has some basic knowledge of category theory, but little or no prior experience with formal logic or set theory.

연구 동기 및 목표

• 크기 차이(작은 것 대비 큰 것)가 범주론, 특히 기초적 구성요소에서 차지하는 역할을 명확히 하기 위해.
• 크기 문제를 다루는 다수의 형식 체계—ZFC, NBG, MK, 불가역 카디널, 반사 원리, 토포스, 대수적 집합론—를 식별하고 비교하기 위해.
• 다양한 기초 선택이 중심 정리(예: 특수 적응자 함수 정리)의 타당성과 표현 가능성에 어떻게 영향을 미치는지 설명하기 위해.
• 특히 큰 범주를 포함한 고급 구성요소를 다룰 때 연구자가 자신의 범주론적 필요에 따라 적절한 기초를 선택하는 데 도움을 주기 위해.

제안 방법

• 나이브 ZFC, 클래스를 포함한 NBG와 MK, 불가역 카디널이 있는 ZFC, 반사 원리(ZFC/S, ZMC/S), 그리고 범주론적 기초(ETCS, AST)를 포함한 다섯 가지 주요 기초 프레임워크를 조사하고 대조하기 위해.
• 각 체계가 극한, 쌍대극한, 그리고 적응자 함수의 맥락에서 작은 집합과 진정한 클래스 사이의 구분을 어떻게 다루는지 분석하기 위해.
• Freyd의 특수 적응자 함수 정리를 중심 사례 연구로 삼아, 기초 가정이 핵심 결과의 증명 가능성에 어떻게 영향을 미치는지 설명하기 위해.
• 고전적 및 구조적 설정에서의 치환 및 분리 공리의 행동을 분석하며, 특히 토포스와 색인 범주에서의 적용을 고려하기 위해.
• 잘 지향된 성질과 선택 공리가 논리적 체계의 강도, 특히 고전적 논리 대비 구조적 논리와의 관련성에서 결정하는 방식을 평가하기 위해.
• 집합론적 크기 차이에 의존하지 않는 잠재적 기초로서, 큰 범주를 2범주에서의 객체로 간주하는 고차원 범주론적 대안을 논의하기 위해.

실험 결과

연구 질문

• RQ1 다양한 집합론적 기초 체계가 큰 범주에서 적응자 함수의 존재성과 구성에 어떻게 영향을 미치는가?
• RQ2 반사 원리나 불가역 카디널을 사용할 경우, 범주론의 일致성과 표현력에 어떤 영향을 미치는가?
• RQ3 극한과 쌍대극한의 맥락에서 작은 범주와 큰 범주 사이의 구분이 왜 중요한가? 그리고 기초 체계는 이를 어떻게 다루는가?
• RQ4 ETCS와 AST와 같은 범주론적 기초는 전통적 집합론과 비교해 크기와 치환에 대해 어떻게 다루는가?
• RQ5 구조적 논리와 비잘지향된 토포스에서, 치환 공리의 강도가 어떻게 약화되거나 변형되는가? 특히 집합론적 공리들—치환과 분리—가 어떻게 영향을 받는가?

주요 결과

• 특수 적응자 함수 정리는 모든 표준 기초 체계에서 증명 가능하지만, 더 약한 체계에서는 메타이론적 처리나 작은 정의 가능성 조건이 필요할 수 있다.
• 범주에서 모든 화살표에 대한 곱이 존재한다면, 진정한 클래스의 화살표 집합을 가진 것은 모순을 야기한다. 이는 오직 전순서관계만이 그러한 큰 곱을 허용할 수 있음을 증명하며, 이 결과는 사용된 논리에 민감하며, 직관주의 설정에서는 실패한다.
• 불가역 카디널은 작은 집합과 큰 집합 사이의 강력한 구분을 가능하게 하며, 작은 극한의 존재를 유지하면서도 큰 범주를 구성할 수 있도록 한다.
• 불가역 카디널과 결합된 반사 원리는 큰 집합의 행동을 집합론적 프레임워크 내부에 내재화하는 방법을 제공하지만, 일致성을 피하기 위해 주의 깊은 다루기가 필요하다.
• 구조적 논리에서는 치환 공리의 강도가 크게 약화되며, 비잘지향된 토포스에서는 일반적으로 범주론적 치환 공리를 정의할 수 없어 적용 범위가 제한된다.
• 고차원 범주론적 기초, 예를 들어 큰 범주를 2범주에서의 객체로 간주하는 방식은 집합론적 크기 차이에 의존도를 줄이는 데 유망한 대안을 제공하지만, 완전히 만족스러운 형식화는 아직 열려 있다.