[논문 리뷰] A construction of 2-filtered bicolimits of categories

Eduardo J. Dubuc, Ross Street|arXiv (Cornell University)|2006. 05. 11.

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

한 줄 요약

이 논문은 2-필터링된 2-범주라는 개념을 도입하고, 범주로 값이 주어지는 2-함수에 대한 이중극한의 명시적 구성법을 제공한다. 범주를 자명한 2-범주로 간주할 때, 이는 2-필터링이 되기 위한 필요충분조건이 필터링임을 보이며, 이 구성법은 표준 필터링 극한과 동치인 범주를 유도한다. 주요 기여는 2-필터링 이중극한이 필터링 극한과 유사한 본질적 성질을 상속받음을 보장하기 위해 최소한의 공리 집합을 사용한다는 점이다.

ABSTRACT

We define the notion of 2-filtered 2-category and give an explicit construction of the bicolimit of a category valued 2-functor. A category considered as a trivial 2-category is 2-filtered if and only if it is a filtered category, and our construction yields a category equivalent to the category resulting from the usual construction of filtered colimits of categories. Weaker axioms suffice for this construction, and we call the corresponding notion pre 2-filtered 2-category. The full set of axioms is necessary to prove that 2-filtered bicolimits have the properties corresponding to the essential properties of filtered bicolimits. Kennison already considered filterness conditions on a 2-category under the name of bifiltered 2-category. It is easy to check that a bifiltered 2-category is 2-filtered, so our results apply to bifiltered 2-categories. Actually Kennison's notion is equivalent to ours, but the other direction of this equivalence is not entirely trivial.

연구 동기 및 목표

• 2-필터링된 2-범주를 필터링 범주의 2-범주적 일반화로 정의하고 특성화하기.
• 범주로 값이 주어지는 2-함수에 대한 이중극한의 명시적 구성법을 제공하기.
• 이중극한 구성법이 자명한 2-범주로 제한될 경우 표준 필터링 극한과 동치인 범주를 유도함을 보여주기.
• 구성법에 필요한 최소 공리 집합(예비-2-필터링된 2-범주)을 규명하고, 전체 2-필터링 조건과의 차이를 명확히 하기.
• 전체 공리 집합이 2-필터링 이중극한이 필터링 극한과 유사한 본질적 성질을 갖도록 보장하기 위해 필수적임을 확립하기.

제안 방법

• 두 개의 공리(F1: 동일한 2-세포를 갖는 두 사상 쌍에 대해 코코ーン의 존재성, F2: 2-세포에 대한 일관성)를 통해 2-범주를 예비-2-필터링된 것으로 정의하기.
• 객체 A, F(A)의 객체 x, 일관된 가족의 동형사상 α로 구성된 삼중항 (A, x, α)의 동치류로 구성된 범주 LL(F)를 이중극한 범주로 정의하기.
• 2-범주적 버전의 필터링 극한 구성법을 사용하며, 일관성 자료는 역행성 2-세포로 표현되고, 일관성은 공리에 의해 강제하기.
• 이 구성법이 잘 정의되어 있으며, 2-범주가 자명한 경우(비자명한 2-세포가 없는 경우)에 표준 필터링 극한과 동치인 범주를 유도함을 증명하기.
• 이중극한이 유한한 극한을 보존하고 범주 동치를 유도하기 위해 전체 2-필터링 공리(특히 더 강력한 일관성 조건 FF1 포함)가 필수적임을 확립하기.
• 2-필터링 2-범주의 개념을 케니슨의 이전의 이중필터링 2-범주 개념과 비교하여, 비틀린 계산이지만 기본적인 방법으로 그 동치성을 증명하기.

실험 결과

연구 질문

• RQ1 어떤 조건을 만족할 경우 2-함수에 대한 이중극한이 존재하고 바람직한 성질을 갖는가?
• RQ2 2-함수에 대한 이중극한 구성법이 범주론에서의 고전적 필터링 극한 구성법을 어떻게 일반화하는가?
• RQ3 2-범주적 맥락에서 이중극한을 구성하기 위해 필요한 최소한의 공리 집합은 무엇인가?
• RQ4 2-필터링된 2-범주는 케니슨의 이중필터링 2-범주 개념과 어떻게 관련이 있는가?
• RQ5 2-함수에 대한 이중극한이 언제 유한한 극한을 보존하며, 이는 2-범주론에서 어떤 의미를 갖는가?

주요 결과

• 자명한 2-범주로 간주되는 범주는 2-필터링이 되기 위한 필요충분조건이 필터링 범주임을 보이며, 이 구성법은 표준 필터링 극한과 동치인 범주를 생성한다.
• LL(F)의 이중극한 구성법은 더 약한 예비-2-필터링 공리에 대해서도 유효하지만, 필터링 극한과 유사한 본질적 성질을 갖기 위해서는 전체 2-필터링 공리 집합이 필수적이다.
• 2-함수 F가 유한하게 완비된 범주와 유한한 극한을 보존하는 함자를 값으로 갖는 2-범주로 맵핑할 경우, LL(F)는 유한한 극한을 갖는다.
• 퍼세우코네의 함자 λ_A: F(A) → LL(F)는 유한한 극한을 보존하며, 임의의 범주 X로 향하는 LL(F)에서의 유한한 극한을 보존하는 함자들의 범주와 F에서 X로 향하는 퍼세우코네의 범주 사이에 동형사상을 유도한다.
• 2-필터링된 2-범주 개념은 케니슨의 이중필터링 2-범주 개념과 동치이지만, 그 동치성의 증명은 비틀린 계산이지만 기본적인 방법으로 이루어진다.
• 이 구성법은 가용성의 핵심 공리 FF1(일관된 사상 가족의 일관성 보장)에 크게 의존하며, 이 공리는 결과 동치의 충실성과 전사성을 확보하기 위해 필수적이다.