[논문 리뷰] A construction of certain weak colimits and an exactness property of the 2-category of categories

María Emilia Descotte, Eduardo J. Dubuc외 1명|arXiv (Cornell University)|2016. 10. 08.

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

한 줄 요약

이 논문은 2-category Cat에서, 구조적 2세포의 가역성을 제어하기 위해 특별한 부분범주 Σ를 사용하는 일반화된 약한 쌍대극한의 개념인 σ-쌍대극한을 도입한다. σ-필터링된 σ-쌍대극한의 명시적 구성과 함께, 이들이 유한 가중 편의 극한과 가환함을 증명하여, 2-함수자의 정확성 보존을 보장하는 기초적인 정확성 성질을 확립한다.

ABSTRACT

Given a 2-category $\mathcal{A}$, a $2$-functor $\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$ and a distinguished 1-subcategory $Σ\subset \mathcal{A}$ containing all the objects, a $σ$-cone for $F$ (with respect to $Σ$) is a lax cone such that the structural $2$-cells corresponding to the arrows of $Σ$ are invertible. The conical $σ$-limit is the universal (up to isomorphism) $σ$-cone. The notion of $σ$-limit generalises the well known notions of pseudo and lax limit. We consider the fundamental notion of $σ$-filtered} pair $(\mathcal{A}, \, Σ)$ which generalises the notion of 2-filtered 2-category. We give an explicit construction of $σ$-filtered $σ$-colimits of categories, construction which allows computations with these colimits. We then state and prove a basic exactness property of the 2-category of categories, namely, that $σ$-filtered $σ$-colimits commute with finite weighted pseudo (or bi) limits. An important corollary of this result is that a $σ$-filtered $σ$-colimit of exact category valued 2-functors is exact. This corollary is essential in the 2-dimensional theory of flat and pro-representable 2-functors, that we develop elsewhere.

연구 동기 및 목표

• 범주로 이루어진 2-범주에서 약한 쌍대극한의 개념을 일반화하기 위해 부분범주 Σ에 대해 정의된 σ-콘과 σ-쌍대극한을 도입함으로써.
• 2-범주 Cat에서의 σ-필터링된 σ-쌍대극한에 대한 명시적 구성 방법을 제공하여 구체적인 계산을 가능하게 함.
• Cat에서의 기본 정확성 성질을 확립: σ-필터링된 σ-쌍대극한이 유한 가중 편의 극한과 가환함.
• σ-필터링된 σ-쌍대극한이 정확한 범주로 값이 주어지는 2-함수자의 정확성을 보존함을 보이며, 2차원적 평탄한 및 프로표현 가능한 함숫론의 적용을 뒷받침함.

제안 방법

• Σ의 사상에 대응하는 구조적 2세포가 가역인 린 콘으로서 σ-콘을 정의함으로써, 편의 극한과 편의 극한을 일반화함.
• 특정한 일致성 가족의 존재를 보장하기 위해 2-필터링 범주를 일반화한 σ-필터링 쌍 (A, Σ)의 개념을 도입함.
• Σ에 대한 일致성 조건을 갖춘 다이어그램의 동치류를 포함하는 구체적 모델을 통해 범주들의 σ-필터링된 σ-쌍대극한을 구성함.
• 2-자연성과 2세포의 붙임을 기반으로 하여, premorphism과 그 lift를 정의함으로써 σ-쌍대극한의 보편 성질을 기술함.
• 자연 변환의 σ-쌍대극한 구조를 통한 올림을 분석함으로써, Cat에서의 유한 가중 편의 극한이 σ-필터링된 σ-쌍대극한과 가환함을 증명함.
• 가환성 결과를 적용하여, σ-필터링된 σ-쌍대극한이 정확한 2-함수자의 정확성을 보존함을 보이며, σ-쌍대극한의 보편 성질과 2-자연성을 활용함.

실험 결과

연구 질문

• RQ1 어떻게 부분범주 Σ를 통해 구조적 2세포의 가역성을 제어함으로써 2-범주에서의 약한 쌍대극한을 일반화할 수 있는가?
• RQ2 2-범주 Cat에서의 σ-필터링된 σ-쌍대극한에 대한 명시적 구성은 무엇인가?
• RQ3 σ-필터링된 σ-쌍대극한은 Cat에서 유한 가중 편의 극한과 가환하는가? 이러한 가환성 성질의 의미는 무엇인가?
• RQ4 σ-필터링된 σ-쌍대극한 하에서 정확성이 보존되는가? 이는 평탄한 2-함수자의 이론과 어떻게 관련되는가?

주요 결과

• Cat에서의 σ-필터링된 σ-쌍대극한에 대한 명시적 구성이 제공되어, Σ-일致성 데이터를 갖춘 다이어그램의 동치류를 통해 이들의 계산이 가능해짐.
• Cat에서 σ-필터링된 σ-쌍대극한이 유한 가중 편의 극한과 가환함을 증명함으로써, Set에서의 고전적 필터링된 쌍대극한과 유한 극한의 가환성의 일반화를 이룸.
• σ-쌍대극한의 보편 성질은 premorphism과 그 lift를 통해 기술되며, 2-자연성과 2세포의 붙임이 증명의 중심적 역할을 함.
• 구성 과정을 통해 임의의 σ-필터링된 σ-쌍대극한이 정확한 2-함수자의 정확성을 보존함을 보장함. 이는 평탄한 2-함수자 이론에 있어 핵심 결과임.
• 고전적 범주론에서의 정확성 성질을 2-범주론적 맥락으로 일반화함으로써, 1-범주론에서 필터링된 쌍대극한이 차지하는 역할을 확장함.