[논문 리뷰] Quasitopoi over a base category

Eduardo J. Dubuc, Luis Español González|ArXiv.org|2006. 12. 22.

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

한 줄 요약

이 논문은 기본 범주 위의 구체적 쿼اس토포이를 위한 새로운 프레임워크를 개발하기 위해 $f$-정규 범주와 $f$-정규 함자를 도입한다. 이는 페논의 초등 쿼اس토포이 이론을 일반화하며, $f$-정규 범주 위의 엄격 쿼라스페이스의 범주가 $f$-쿼아스토포이임을 입증한다. 또한 엄격 쿼라스페이스의 포함에 대한 왼쪽 수반 함자를 제공하고, 이 함자가 $f$-정규임을 보여, 점을 가진 쿼아스토포이 이론을 형성한다.

ABSTRACT

In this paper we develop the theory of quasispaces (for a Grothendieck topology) and of concrete quasitopoi, over a suitable base category. We introduce the notion of f-regular category and of f-regular functor. The f-regular categories are regular categories in which every family with a common codomain can be factorized into a strict epimorphic family followed by a (single) monomorphism. The f-regular functors are (essentially) functors that preserve finite strict monomorphic and arbitrary strict epimorphic families. These two concepts furnish the context to develop the constructions of the theory of concrete quasitopoi over a suitable base category, which is a theory of pointed quasitopoi. Our results on quasispaces and quasitopoi, or closely related ones, were already established by Penon, but we prove them here with different assumptions and generality, and under a completely different light.

연구 동기 및 목표

• 기본 범주 위의 구체적 쿼아스토포이를 위한 새로운 프레임워크를 $f$-정규 범주와 함자를 사용하여 개발하기.
• 크기 제한 조건을 제거하여 페논의 초등 쿼아스토포이 이론을 일반화함으로써, 큰 사이트 위의 분리된 층과 같은 중요한 예를 포함하도록 하기.
• 엄격 쿼라스페이스의 범주가 $f$-정규 범주 위에서 $f$-쿼아스토포이임을 입증하고, 유계 쿼아스토포이보다 더 자연스럽고 일반적인 설정을 제공하기.
• 엄격 쿼라스페이스의 모든 쿼라스페이스에 대한 포함이 왼쪽 수반 함자를 가지며, 이를 통해 코어플렉션 함자를 구성하기.

제안 방법

• 모든 공통 도메인을 가진 가족이 엄격한 에피모르피즘 가족과 단사 사상으로 분해되는 $f$-분해를 갖는 정규 범주로서 $f$-정규 범주를 도입한다.
• 유한한 엄격 단사 사상 가족과 임의의 엄격 에피모르피즘 가족을 보존하는 함수로서 $f$-정규 함자를 정의한다.
• 이전 연구에서의 화살표 가족 이론을 체계적으로 활용하여, 일반적 맥락에서 엄격 에피모르피즘 가족을 최종적인 전사 가족으로 특성화한다.
• 기본 범주 $\mathbb{S}$ 위의 쿼라스페이스의 범주를 구성하고, 클래스 $\mathbb{I}$의 대상들에 따라 적절한 맵의 구조를 인덱스화한다.
• 끌어올림과 정밀화를 포함한 보편 성질을 통해 엄격 쿼라스페이스를 정의하여 $f$-정규 구조와의 호환성을 확보한다.
• 엄격 쿼라스페이스에서 기본 범주로 가는 함수가 위상적임을 입증하고, 엄격 쿼라스페이스의 모든 쿼라스페이스에 대한 포함이 왼쪽 수반 함자를 가짐을 보여준다.

실험 결과

연구 질문

• RQ1 크기 제한이 없는 설정으로 확장하여, 큰 사이트 위의 분리된 층과 같은 범주를 포함하는 쿼아스토포이 이론을 어떻게 일반화할 수 있는가?
• RQ2 기본 범주가 어떤 조건을 만족해야 엄격 쿼라스페이스의 범주가 $f$-쿼아스토포이가 되는가?
• RQ3 엄격 쿼라스페이스의 모든 쿼라스페이스에 대한 포함이 왼쪽 수반 함자를 지닐 수 있는가? 이는 범주의 구조에 어떤 함의를 갖는가?
• RQ4 $f$-정규 범주와 함자가 크기 제한 없이 쿼아스토포이를 구성하고 특성화하는 데 어떻게 자연스러운 프레임워크를 제공하는가?
• RQ5 $q_s$ 함수가 엄격 쿼라스페이스와 기본 범주 사이의 관계를 어떻게 설명하는가? 기하학적 모르피즘과의 관계는 어떠한가?

주요 결과

• 엄격 쿼라스페이스의 범주가 $f$-정규 범주 $\mathbb{S}$ 위에서 $f$-쿼아스토포이임을 입증하였으며, 이는 페논의 초등 쿼아스토포이를 일반화한다.
• 엄격 쿼라스페이스에서 모든 쿼라스페이스로의 포함 함수가 왼쪽 수반 함자를 지닌다. 이는 주어진 쿼라스페이스 위에 가장 작은 엄격 쿼라스페이스 구조를 구성한다.
• $q_s: s\mathbb{Q} \to \mathbb{S}$ 함수는 엄격 쿼라스페이스에서 기본 범주로 가는 함수로서 위상적임을 보였으며, $s\mathbb{Q}$는 초기 가족에 대해 닫혀 있다.
• $q_s$와 $i$ (포함) 함수는 $f$-정규임을 보였으며, 이는 엄격 에피모르피즘과 단사 사상 가족의 관련 구조를 보존함을 의미한다.
• $S_{\bot_{\ell}}$ 쿼라스페이스의 구성은 $I \in \mathbb{I}$에 대해 $uI \to S$의 맵을 사용하여, $\mathbb{S}$의 임의의 대상 $S$ 위에 가장 작은 엄격 쿼라스페이스 구조를 생성하는 표준적인 방법을 제공한다.
• 이 이론은 계층을 수립한다: 유계 쿼아스토포이 $\Rightarrow$ $f$-쿼아스토포이 $\Rightarrow$ 초등 쿼아스토포이이며, $f$-쿼아스토포이는 구체적 쿼아스토포이에 대해 가장 일반적이고 자연스러운 설정이다.