[논문 리뷰] Yoneda representations of flat functors and classifying toposes

Olivia Caramello|arXiv (Cornell University)|2008. 05. 15.

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

한 줄 요약

이 논문은 유인 범주 이론을 사용하여, ${\bf Sh}(\mathcal{C},J)$ 형태의 토포스에 의해 분류되는 이론의 모델을, $[\mathcal{C}^{\textrm{op}},{\bf Set}]$에 의해 분류되는 이론의 모델로 기술하는 새로운 기법인 '평탄한 함자에 대한 요네다 표현'을 제안한다. 주요 기여는 $J$-균일 모델을 에피모르픽 가족의 형태로 기술함으로써, 분류 토포스와 평탄한 함자 사이에 모리타 이론적 다리를 구축하는 것이다.

ABSTRACT

In this paper, we first introduce a technique that we call "Yoneda representation of flat functors", based on ideas from indexed category theory; then we provide applications of this technique to the theory of classifying toposes. Specifically, we obtain results characterizing the models of a theory classified by a topos of the form Sh(C,J) in terms of the models of a theory classified by the topos [C^op, Set].

연구 동기 및 목표

• 분류 토포스 내의 모델을 분석하기 위해, 유인 범주 이론을 활용한 새로운 방법—평탄한 함자에 대한 요네다 표현—을 개발하는 것.
• ${\bf Sh}(\mathcal{C},J)$ 형태의 셰이프 토포스에 의해 분류되는 이론의 모델을, $[\mathcal{C}^{\textrm{op}},{\bf Set}]$에 의해 분류되는 이론의 모델로 기술하는 것.
• 요네다 임bedding과 유인 호모지어스 함자들을 통해, 평탄한 함자와 토포스 내부의 다이어그램 사이의 연결 고리를 설정하는 것.
• 분류 토포스와 모리타 동치의 맥락에서 중요한 역할을 하는 $J$-균일 모델을 정의하고 분석하는 것.

제안 방법

• 국소적으로 작은 코초완비 토포스 $\mathcal{E}$에 대해 $[\mathcal{C},\mathcal{E}]$와 $[\mathbb{C},\mathcal{E}]$ 사이의 동치를 활용하며, 여기서 $\mathbb{C}$는 $\mathcal{C}$의 $\mathcal{E}$ 내부화이다.
• $\mathcal{E}$-유인 요네다 함자 $\mathbb{Y}: \mathbb{C} \to \underline{[\mathbb{C}^{\textrm{op}}, \mathcal{E}]}$를 적용하여, $\mathcal{E}$ 내의 호 객체를 통해 평탄한 함자를 표현하는 것.
• $\mathcal{E}$-유인 호함자 $Hom_{[\mathcal{C},\mathcal{E}]}^{\mathcal{E}}(F,G)$를 구성하여, 각 쌍의 함자 $F,G$에 대해 $\mathcal{E}$ 내의 객체를 할당하며, 이는 당김 이후 자연 변환을 표현한다.
• 이론 $\mathbb{T}$가 프레시피 유형일 경우, $\mathcal{C} = \textrm{f.p.}\,\mathbb{T}\textrm{-mod}({\bf Set})$에 대해 $\mathcal{C}^{\textrm{op}}$ 위의 평탄한 함자 이론과의 모리타 동치를 이용하여 $\mathcal{E}$-모델로의 구조 이행을 수행하는 것.
• $J$-균일 모델을 $\mathbb{T}\textrm{-mod}(\mathcal{E})$ 내에서 정의하기 위해, 각 $c$에 대해 $S \in J(c)$인 코사이드에 대해, $Hom_{{\mathbb{T}}\textrm{-mod}(\mathcal{E})}^{\mathcal{E}}(\gamma^*_{\mathcal{E}}(i(f)), M)$ 가 $\mathcal{E}$ 내에서 에피모르픽이 되도록 요구하는 것.

실험 결과

연구 질문

• RQ1 범주 $\mathcal{C}$ 위의 평탄한 함자들은 어떤 유인 범주적 프레임워크 내에서 요네다 임bedding을 통해 어떻게 표현될 수 있는가?
• RQ2 셰이프 토포스 ${\bf Sh}(\mathcal{C},J)$ 내의 모델과 프레시피 토포스 $[\mathcal{C}^{\textrm{op}}, {\bf Set}]$ 내의 모델 사이의 관계는 무엇인가?
• RQ3 평탄성의 개념은 어떤 토포스 $\mathcal{E}$ 내에서 유인 호 객체를 사용하여 어떻게 내부화되고 기술될 수 있는가?
• RQ4 $\mathbb{T}\textrm{-mod}(\mathcal{E})$ 내의 모델 $M$이 어떤 조건을 만족하면, $\mathcal{C}$ 위의 평탄한 함자로부터 유래하는가?
• RQ5 $J$-균일 모델은 분류 토포스와 모리타 동치의 맥락에서 어떤 의미를 갖는가?

주요 결과

• 평탄한 함자 $F: \mathcal{C} \to \mathcal{E}$에 대한 요네다 표현은 $F \cong Hom_{[\mathcal{C}^{\textrm{op}}, \mathcal{E}]}^{\mathcal{E}}(\overline{Y}(-), F)$ 로 주어지며, 여기서 $\overline{Y}$는 유인 설정에서의 요네다 임bedding이다.
• 프레시피 유형의 이론 $\mathbb{T}$에 대해, $\mathcal{C} = \textrm{f.p.}\,\mathbb{T}\textrm{-mod}({\bf Set})$ 는 카우치 완비이며, 이는 유한하게 표현 가능한 모델들로부터 재구성 가능함을 의미한다.
• $F \in \mathbf{Flat}(\mathcal{C}^{\textrm{op}}, \mathcal{E})$ 에 대응하는 모델 $M_F \in \mathbb{T}\textrm{-mod}(\mathcal{E})$ 는 $F \circ \tau \cong Hom_{{\mathbb{T}}\textrm{-mod}(\mathcal{E})}^{\mathcal{E}}(\gamma^*_{\mathcal{E}}(i(-)), M_F)$ 를 만족하며, 자연 동형을 확립한다.
• $M \in \mathbb{T}\textrm{-mod}(\mathcal{E})$ 가 $J$-균일임은, 모든 $c$에 대해 $S \in J(c)$ 인 코사이드에 대해, $Hom_{{\mathbb{T}}\textrm{-mod}(\mathcal{E})}^{\mathcal{E}}(\gamma^*_{\mathcal{E}}(i(f)), M)$ 이 $\mathcal{E}$ 내에서 에피모르픽임과 동치이다.
• 만약 $J$ 가 원자 위상이라면, $J$-균일성은 $\mathcal{C}$ 내의 모든 화살표 $f: c \to d$ 에 대해 $Hom_{{\mathbb{T}}\textrm{-mod}(\mathcal{E})}^{\mathcal{E}}(\gamma^*_{\mathcal{E}}(i(f)), M)$ 가 에피모르피즘임을 요구하는 것으로 줄어든다.