[논문 리뷰] Some insights on bicategories of fractions - III

Matteo Tommasini|arXiv (Cornell University)|2014. 10. 23.

Rings, Modules, and Algebras참고 문헌 4인용 수 4

한 줄 요약

이 논문은 이원분류법(bicategories of fractions)의 이원분류법(bicategories of fractions) 사이의 등가를 유도하는 편의자(functor)에 대해 필수적이고도 충분한 조건을 설정하며, Pronk의 이원분류법(bicalculus of fractions)을 일반화한다. 핵심 결과는 이러한 편의자가 국소화된 이원분류법 사이의 등가로 확장될 수 있는 조건을, 사상에 대한 포화 조건으로 규명하는 것이다.

ABSTRACT

We fix any bicategory $\mathscr{A}$ together with a class of morphisms $\mathbf{W}_{\mathscr{A}}$, such that there is a bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$. Given another such pair $(\mathscr{B},\mathbf{W}_{\mathscr{B}})$ and any pseudofunctor $\mathcal{F}:\mathscr{A} ightarrow\mathscr{B}$, we find necessary and sufficient conditions in order to have an induced equivalence of bicategories from $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$ to $\mathscr{B}[\mathbf{W}_{\mathscr{B}}^{-1}]$. In particular, this gives necessary and sufficient conditions in order to have an equivalence from any bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$ to any given bicategory $\mathscr{B}$.

연구 동기 및 목표

• 이원분류법 사이의 편의자가 그들의 이원분류법 사이의 등가를 유도할 조건을 규명하는 것.
• Pronk의 이원분류법을 일반화하여 국소화된 이원분류법 사이의 등가 조건을 포함하는 것.
• 포화가 소스의 사상들이 타겟의 내부 등가로 보존되도록 보장하는 데서 수행하는 역할을 명확히 하는 것.
• 편의자가 국소화된 이원분류법 사이의 편의자로 확장될 수 있는 조건을 보편 성질을 통해 제시하는 것.
• 포화와 편의자성(pseudonaturality)을 사용하여, 주어진 이원분류법과 등가인 이원분류법이 성립하는 조건을 설정하는 것.

제안 방법

• Pronk의 이원분류법의 구성에서 이원분류법 조건(BF)을 활용한다.
• 사상의 오른쪽 포화(right saturation) 개념을 도입하며, W의 포화를 g, h에 대해 f∘g와 g∘h가 W에 속하는 모든 사상 f로 정의한다.
• 국소화 편의자 U_W: A → A[W⁻¹]의 보편 성질을 사용하여, W에 속하는 사상들이 내부 등가로 보존되는지 분석한다.
• 실린더 이원분류법 구조 Cyl(C)를 사용하여 편의자성 등가를 모델링하고 W-사상에서의 행동을 분석한다.
• 이원분류법 내의 다이어그램적 추론을 활용하여 국소화 편의자의 호모토피 조건(예: (B5))을 검증한다.
• U_W를 포함하는 다이어그램이 등가를 통해 유지되는 것을 보장하는 편의자성 등가 κ와 편의자성 G의 존재를 통해 등가를 확립한다.

실험 결과

연구 질문

• RQ1 이원분류법 A와 B 사이의 편의자 F: A → B가 각각의 사상 집합 W_A와 W_B를 갖는 경우, A[W_A⁻¹]와 B[W_B⁻¹] 사이의 등가를 유도하는 조건은 무엇인가?
• RQ2 포화가 W_A의 사상들이 B[W_B⁻¹] 내부 등가로 보존되도록 보장하는 데서 수행하는 정확한 역할은 무엇인가?
• RQ3 편의자 F가 국소화의 보편 성질을 통해 국소화된 이원분류법 사이의 편의자로 확장될 수 있는 조건은 무엇인가?
• RQ4 실린더 이원분류법 구조는 편의자성 등가를 어떻게 특성화할 수 있으며, 이는 W-사상의 보존을 어떻게 보장하는가?
• RQ5 어떤 조건을 만족할 경우, 국소화에 의해 유도된 편의자가 이원분류법 사이의 등가가 되는가?

주요 결과

• U_W를 포함하는 다이어그램이 등가를 통해 유지되는 것을 보장하는 편의자성 등가 κ의 존재는 F(W_A)가 W_B의 포화에 포함되어 있음을 동치로 한다.
• 조건 F(W_A) ⊆ W_B,sat는 국소화된 편의자 G: A[W_A⁻¹] → B[W_B⁻¹]가 존재하고 등가가 되기 위한 필요조건이자 충분조건이다.
• W_B의 포화는 W_A의 사상들이 B[W_B⁻¹] 내부 등가로 보존되도록 보장하며, 이는 보편 성질이 성립하기 위해 필수적이다.
• G₀(A) = F₀(A)이고 G₁(A′, w, f) = (F₀(A′), F₁(w), F₁(f))로 정의하여 국소화된 이원분류법의 분수 구조를 유지하는 방식으로 G를 구성할 수 있다.
• 국소화 편의자 U_W의 호모토피 조건 (B5)는 2-세포와 결합자들의 다이어그램적 합성으로 검증되었으며, 이는 국소화 편의자의 편의자성(pseudofunctoriality)을 확인한다.
• 유도된 등가는 각 W_A-사상이 내부 등가로 보존되는 실린더 편의자성 편의자성 변환 μ_κ를 유도하는 편의자성 변환 κ를 통해 실현된다.