[논문 리뷰] Extensions of flat functors and theories of presheaf type

Olivia Caramello|arXiv (Cornell University)|2014. 04. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 3

한 줄 요약

이 논문은 토포스 이론에서 평탄한 함자들의 확장을 위한 일반 이론을 개발하고, 기하학적 이론이 프레시프 유형(즉, 그 분류 토포스가 프레시프 토포스와 동치인)임을 판별하기 위한 필수적이고 충분한 의미 조건을 제공하는 특성 정리(정리)를 수립한다. 주요 기여는 그로텐디크 토포스 내 모델을 기반으로 한 통합된 기준으로, 이는 이전 결과들을 통합하며 새로운 프레시프 유형 이론의 실용적 검증과 구축을 가능하게 한다.

ABSTRACT

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a characterization theorem providing necessary and sufficient semantic conditions for a theory to be of presheaf type. This theorem subsumes all the previous partial results obtained on the subject and has several corollaries which can be used in practice for testing whether a given theory is of presheaf type as well as for generating new examples of theories belonging to this class. Along the way, we establish a number of other results of independent interest, including developments about colimits in the context of indexed categories, expansions of geometric theories and methods for constructing theories classified by a given presheaf topos.

연구 동기 및 목표

• 토포스 이론에서 기하학적 함자에 沿해 평탄한 함자들의 확장을 위한 종합적인 이론을 개발하기 위해.
• 분류 토포스가 프레시프 토포스인(즉, 프레시프 유형인) 기하학적 이론의 완전한 특성화를 제공하기 위해.
• 이전의 부분적인 기준들을 통합하고 일반화하기 위해.
• 주어진 이론이 프레시프 유형임을 테스트하고 새로운 예를 생성하기 위한 실용적 도구를 제공하기 위해.
• 모델의 의미적 성질과 기하학적 이론의 문맥적 구조 사이의 연결 고리를 확립하기 위해.

제안 방법

• 토포스 내에서 $\boldsymbol{\frak{E}}$-색인된 코로직과 내부 다이어그램, 텐서곱의 맥락에서 분석한다.
• 기하학적 함자에 沿해 평탄한 함자들을 확장하기 위한 일반적 프레임워크를 개발한다. 이는 카테고리의 호모모르피즘과 임bedding을 포함한다.
• 기하학적 이론 맥락에서 유한적으로 표현 가능한 모델과 준동형사상을 특성화하기 위해 이 이론을 적용한다.
• 의미론적 $\frak{E}$-유한 표현 가능성의 개념을 도입하고, 이와 강한 유한 표현성의 모델 간의 관계를 규명한다.
• 기하학적 이론의 확장과 단사화를 통해 새로운 프레시프 유형 이론을 생성한다.
• 특정 예시들—벡터 공간, 강한 단위를 가진 아벨 $\ell$-군, 다이어르의 체—에 대해 특성 정리를 적용한다.

실험 결과

연구 질문

• RQ1 기하학적 이론이 프레시프 유형임을 위한 필수적이고 충분한 의미 조건은 무엇인가?
• RQ2 주어진 기하학적 이론이 프레시프 토포스에 의해 분류되는지 여부를 어떻게 판단할 수 있는가?
• RQ3 어떤 구성들이 프레시프 유형 성질을 유지하며, 새로운 이론들을 어떻게 생성할 수 있는가?
• RQ4 그로텐디크 토포스 내의 모델은 프레시프 유형 이론의 문맥적 구조를 어떻게 반영하는가?
• RQ5 이론의 확장과 단사화는 프레시프 유형 이론의 범주와 어떤 관계가 있는가?

주요 결과

• 논문은 기하학적 이론이 프레시프 유형임은 그 이론의 유한적으로 표현 가능한 모델들이 그로텐디크 토포스 내 평탄한 함자 확장과 관련된 특정 의미 조건을 만족할 때에만 성립한다는 특성 정리를 수립한다.
• 강한 단위를 가진 아벨 $\ell$-군의 이론은 프레시프 유형임이 증명되었으며, 이 이론의 유한적으로 표현 가능한 모델은 $\mathbb{H}$-모델로서 유한하게 표현 가능하고 강한 단위를 가진 것들로 정확히 일치한다.
• 체 $K$ 위에서 차원 $\leq n$인 벡터 공간의 이론은 프레시프 유형임이 입증되었으며, $\mathbf{Set}$ 내의 모델은 정확히 차원 $\leq n$인 유한 차원 $K$-벡터 공간들로 구성된다.
• 다이어르의 체 이론은 프레시프 유형임이 확인되었으며, 이 이론의 모델은 주어진 체에 대수적인 체들로 구성된다.
• 주어진 체의 대수적 확장 이론은 프레시프 유형임이 증명되었으며, 이 이론의 유한적으로 표현 가능한 모델은 유한 대수적 확장들에 대응한다.
• 강한 단위를 가진 아벨 $\ell$-군의 이론은 MV-대수의 이론과 모리타-유사임이 입증되었으며, 이는 이 이론이 프레시프 유형 이론의 범주에 속해 있음을 확인한다.