[논문 리뷰] Fibered Categories a la Jean Benabou

Thomas Streicher|arXiv (Cornell University)|2018. 01. 09.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 범주론적 논리와 토포스 이론에서의 역할을 강조하면서, 장 베나부의 섬세한 작업에 대한 종합적이고 접근하기 쉬운 서술을 제공한다. 기저 범주에 당김 사상이 존재하는 경우의 필라션 이론을 체계적으로 전개하며, 분할 필라션, 기저 전환 함자, 기하학적 함자에 대한 필라션 표현과 같은 핵심 구조를 특성화하고, 최종적으로 유계성의 필라션 특성화와 기하학적 함자의 성질(예: 원자형, 국소적으로 연결된, 초연결된 등)을 다룬다.

ABSTRACT

These are notes about the theory of Fibred Categories as I have learned it from Jean Benabou. I also have used results from the Thesis of Jean-Luc Moens from 1982 in those sections where I discuss the fibered view of geometric morphisms. Thus, almost all of the contents is not due to me but most of it cannot be found in the literature since Benabou has given many talks on it but most of his work on fibered categories is unpublished. But I am solely responsible for the mistakes and for misrepresentations of his views. And certainly these notes do not cover all the work he has done on fibered categories. I just try to explain the most important notions he has come up with in a way trying to be as close as possible to his intentions and intuitions. I started these notes in 1999 when I gave a course on some of the material at a workshop in Munich. They have developed quite a lot over the years and I have tried to include most of the things I want to remember.

연구 동기 및 목표

• 필라션 범주에 대한 장 베나부의 비공개이지만 영향력 있는 작업을 명확히 하고 체계화하기 위해.
• 범주론의 기초 도구로서 필라션 범주를 자립적이고 접근하기 쉬운 방식으로 서술하기 위해, 특히 토포스 이론과 범주론적 논리에 초점을 맞추어.
• 국소적으로 연결된, 원자형, 초연결된 유형 등의 기하학적 함자들을 필라션 구조와 기저 전환 함자를 통해 특성화하기 위해.
• 내부 극한과 수반 함자를 통해 유계성과 표현 가능성의 필라션 특성화를 수립하기 위해.
• 베나부의 강의와 비공개 노트에서의 통찰을 기저 전환과 수반 함자를 통해 통합하고 확장하기 위해.

제안 방법

• 가상 함자와 필라션 범주를 프레임워크로 사용하여, 당김 사상이 존재하는 기저 범주 B 위에 범주의 가족을 모델링하며, 준층과 제약 함자를 일반화한다.
• 기저의 모든 사상에 대해 카르테시안 상향이 존재한다는 조건으로 필라션을 정의함으로써, 당김을 균일하게 구성할 수 있도록 보장한다.
• 함자를 필라션으로 표현하기 위해 필라션 양화 정리를 도입하여, 고전적 양화 정리를 필라션 환경으로 일반화한다.
• 기저의 사상에 沿해 당김을 통해 기저 전환 함자를 분석하며, 필라션 구조와 수반 성질을 유지함을 보여준다.
• 수반 함자 정리 적용을 통해 국소적으로 연결된 기하학적 함자들을 종속 곱과 지수를 유지하는 성질로 특성화한다.
• 내부 극한과 완전 필라션을 사용하여 유계 기하학적 함자와 필라션 맥락에서의 표현 가능성을 특성화한다.

실험 결과

연구 질문

• RQ1 범주론에서 준층과 제약 함자에 대한 일반화로서 필라션 범주를 어떻게 시스템적으로 전개할 수 있는가?
• RQ2 어떤 필라션 조건이 토포스 사이의 국소적으로 연결된, 원자형, 초연결된 기하학적 함자들을 특성화하는가?
• RQ3 기저 전환 함자들이 필라션 범주 내에서 수반과 극한과 어떻게 상호작용하는가?
• RQ4 내부 극한과 완전 필라션은 기하학적 함자에서의 유계성과 어떤 방식으로 관련되는가?
• RQ5 표현 가능성과 단사 사상의 정의 가능성은 어떻게 필라션적으로 특성화할 수 있는가?

주요 결과

• 기하학적 함자 F ⊣ U: E → S 는 F 가 종속 곱을 유지할 때, 즉 모든 I ∈ S 에 대해 기저 전환 함자 F/I 가 지수를 유지할 때, 국소적으로 연결되어 있다.
• 국소적으로 연결된 기하학적 함자는 그 왼쪽 수반 함자 L 가 종단 대상을 유지할 때 연결되어 있으며, 이는 수반의 단위가 종단 대상에서 동형임을 의미한다.
• 기하학적 함자는 F 가 논리적일 때, 즉 E 내의 모든 단사 사상이 수반의 단위 L ⊣ F 를 통해 S-정의 가능할 때에만 원자형이다.
• Sierpiński 토포스 Set^{2^op} 는 Set 위에서 국소적으로 연결되어 있지만 원자형이 아니며, 그 종단 대상은 분자이지만 원자가 아니며, 진부분대상이 존재하기 때문이다.
• Set 위에서의 원자형 준층 토포스는 어떤 소형 군의 범주 G 에 대해 Set^{G^op} 와 동치이며, 이러한 토포스에서는 Sub_E(A) ≅ P(LA) 이므로 부분대상 격자는 원자형이다.
• 유계성의 필라션 특성화는 필라션 범주 내에서 내부 극한의 존재를 통해 달성되며, 완전 필라션은 유계 기하학적 함자의 본질적 구조를 포착한다.