[논문 리뷰] Fibred Categories \`a la Jean B\'enabou

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

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 7

한 줄 요약

이 논문은 범주론, 토포스 이론, 그리고 범주론적 논리에서의 기본적 역할을 다루는 지앙 베나부의 비공개 작업에 대한 종합적인 서술을 제공한다. 특히, 기저 범주에서의 인발을 통해 기저 범주 위에 인덱싱된 범주의 가족 개념을 일반화하는 방법으로, 섬세한 기하학적 및 논리적 프레임워크를 제공함으로써 다양한 수학 분야의 범주적 구조를 통합한다.

ABSTRACT

purely geometric reasons. The “logical ” aspect of fibred categories and, in particular, their relevance for category theory over an arbitrary base cate-gory with pullbacks has been investigated and worked out in detail by Jean Bénabou. The aim of these notes is to explain Bénabou’s approach to fi-bred categories which is mostly unpublished but intrinsic to most fields of category theory, in particular to topos theory and categorical logic. There is no claim for originality by the author of these notes. On the contrary I want to express my gratitude to Jean Bénabou for his lectures and many personal tutorials where he explained to me various aspects of his work on fibred categories. I also want to thank J.-R. Roisin for making me available his handwritten notes [Ben2] of Des Catégories Fibrées, a course by Jean Bénabou given at the University of Louvain-la-Neuve back in 1980. The current notes are based essentially on [Ben2] and a few other insights of J. Bénabou that I learnt from him personally. The last four sections are based on results of J.-L. Moens ’ Thése [Moe] from 1982 which itself was

연구 동기 및 목표

• 범주론의 현대적 발전을 뒷받침하는, 비공개이지만 영향력 있는 지앙 베나부의 섬세한 범주론적 접근 방식을 명확히 하고 널리 퍼뜨리는 것.
• 특히 기저 범주에 인발이 존재하는 맥락에서, 베나부의 기하학적 및 논리적 접근 방식에 대한 접근하기 쉬운 서술의 부족을 보완하는 것.
• 루반-라-뉴에서의 1980년도 강의 수첩과 개인 세미나 자료를 기반으로, 베나부의 강의를 바탕으로 한 체계적이고 통합적인 범주론적 서술을 제공하는 것.
• 지앙-루이 모앙의 1982년 박사학위 논문에서의 통찰을 통합하여, 더 고급 범주론적 구성으로의 이론 확장을 도모하는 것.

제안 방법

• 기하학적 관점에서, 임의의 기저 범주 B에 대해 인발이 존재하는 경우, 기저 범주 위에 올라간 범주론적 구조를 유일한 올림 성질을 갖는 기저 범주 위의 기저 사상에 대해 만족하는 함자 p: E → B로 구성한다.
• 기저 사상이 총 범주 내의 사상으로 유일하게 올라가는 기저 사상의 유일성 성질을 통해, 올림의 개념을 형식화함으로써 각 기저 범주의 사상이 총 범주 내에서 유일하게 올라가도록 보장한다.
• 범주론적 논리에서의 기댓값과 타입 의존성의 자연스러운 처리를 가능하게 하기 위해, 인덱싱된 범주로서의 해석을 통해 범주론적 올림의 논리적 의미를 강조한다.
• 기저 범주 내의 인발을 활용하여, 올의 구조와 서로 다른 기저 대상들 사이의 올들 간의 관계를 정의함으로써, 올림의 일관성을 확보한다.
• 베나부의 개인적 통찰과 비공개 강의를 바탕으로, 구조적 요소와 논리적 요소를 통합한 통합적 시각을 제시한다.
• 모앙의 논문 결과를 통합하여, 전체 완전성 및 올림 환경에서의 수반 함자의 존재성과 같은 성질을 포함한 이론의 확장을 도모한다.

실험 결과

연구 질문

• RQ1 기저 범주에 인발이 존재하는 임의의 기저 범주에서, 인발의 구조만을 사용하여 올림 범주를 어떻게 체계적으로 발전시킬 수 있는가?
• RQ2 기하학적 및 논리적 구조를 통합하는 데서 기저 사상이 수행하는 정확한 역할은 무엇인가?
• RQ3 베나부의 올림 범주론적 접근 방식이 어떻게 범주론적 논리와 토포스 이론의 기초가 되는가?
• RQ4 올림 범주론이 기저 범주 위에 인덱싱된 범주의 가족 개념을 어떻게 일반화하는가?
• RQ5 지앙 베나부의 비공개 작업을 어떻게 현대의 범주론 연구에 접근 가능하고 체계적인 방식으로 공개할 수 있는가?

주요 결과

• 논문은 인발이 존재하는 기저 범주 위의 올림 범주가, 범주론적 논리에서 종속 타입과 논리적 기댓값을 모델링하는 자연스러운 프레임워크를 제공함을 확립한다.
• 기저 사상의 유일한 올림 성질이 올들 사이의 구조 전달을 정규화하고 고유한 방식으로 수행함으로써, 체계적인 올 범주 인덱싱을 가능하게 한다.
• 올림의 구조는 특히 베이크-셰바르의 조건과 그 변형을 통해, 올들 사이의 수반 함자에 대한 깔끔한 서술을 가능하게 한다.
• 모앙의 결과 통합을 통해, 적절한 조건 하에서 올림 범주가 전체 완전성과 수반 함자의 존재성을 지원함을 확인한다.
• 서술를 통해, 비록 비공개이지만 베나부의 접근 방식이 토포스 이론과 범주론적 논리의 핵심 발전과 깊이 연관되어 있으며 기초적인 역할을 한다는 것이 드러난다.