[논문 리뷰] Categorical Constructions and the Ramsey Property

Dragan Mašulović, Lynn Scow|arXiv (Cornell University)|2015. 06. 02.

Advanced Topology and Set Theory참고 문헌 18인용 수 3

한 줄 요약

이 논문은 유한 구조의 범주에서 카테고리적 동치와 수반 관계에 대해 레이먼드 성질과 그 쌍대 성질이 불변임을 보이며, 기초적인 카테고리 이론을 사용하여 조합론적 결과를 일반화하고, 카테고리 이론을 언급하지 않는 표현을 사용하여 새로운 레이먼드 유형 정리들을 도출한다. 핵심 기여는 카테고리적 동치에 대해 레이먼드 성질이 진정으로 카테고리적 불변량임을 증명하는 것이다.

ABSTRACT

It has become obvious in the recent development that the structural Ramsey property is a categorical property: it depends not only on the choice of objects, but also on the choice of morphisms involved. In this paper we explicitely put the Ramsey property and the dual Ramsey property in the context of categories of finite structures and investigate the invariance of these properties under some standard categorical constructions. We use elementary category theory to generalize some combinatorial results and using the machinery of very basic category theory provide new combinatorial statements (whose formulations do not refer to category-theoretic notions).

연구 동기 및 목표

• 유한 구조의 범주 내에서 레이먼드 성질과 그 쌍대 성질을 형태사상의 역할을 강조하면서 형식화하기.
• 레이먼드 성질이 유한 구조의 범주에서 수반 관계에 대해 어떻게 행동하는지 조사하기.
• 레이먼드 성질이 카테고리적 동치에 대해 불변임을 보여주며, 이를 진정한 카테고리적 불변량으로 확립하기.
• 기초적인 카테고리 이론을 사용하여, 카테고리 이론적 언어에 의존하지 않는 표현을 갖는 새로운 조합론적 레이먼드 유형 문장을 도출하기.
• 곱 레이먼드 정리를 일반화하고, 레이먼드 성질을 가진 유한 곱 범주가 그 성질을 유지함을 보여주기.

제안 방법

• 유한 구조의 범주에서 형태사상과 대상의 관점에서 레이먼드 성질을 형식화하며, 임bedding과 전성 사상으로 형태사상을 사용하기.
• 수반 이론을 적용하여, 오른쪽 수반은 형태사상에 대해 레이먼드 성질을 보존하고, 왼쪽 수반은 쌍대 레이먼드 성질을 보존함을 보이기.
• 카테고리적 동치를 사용하여 동치 범주 간에 레이먼드 성질을 이전하고, 대칭성을 통해 쌍대 성질로 이전하기.
• 이론을 잘 알려진 부울 대수와 원시 대수 간의 동치에 적용하여, 이 맥락에서 새로운 레이먼드 결과 도출하기.
• 범주들의 카테고리적 곱을 구성하고, 각 요소가 레이먼드 성질을 가진다면 곱도 레이먼드 성질을 가짐을 보이는 일반화된 곱 레이먼드 정리로 증명하기.
• 함수 기호를 포함하는 언어에 대해 프라이세이 이론과 KPT 대응을 확장하기 위해 함수 기호를 관계 기호로 인코딩하고, 컴 pactness와 위상 동역학 프레임워크를 유지하기.

실험 결과

연구 질문

• RQ1 레이먼드 성질은 오직 유한 구조의 범주, 즉 형태사상의 선택을 포함하여 객체들만이 아니라, 그 범주 자체에 의해 결정되는가?
• RQ2 수반 관계는 유한 구조의 범주에서 레이먼드 성질과 쌍대 레이먼드 성질의 보존에 어떻게 영향을 미치는가?
• RQ3 레이먼드 성질은 카테고리적 동치에 대해 불변인가? 그리고 이는 동치 범주 간에 레이먼드 결과를 이전하는 데 사용될 수 있는가?
• RQ4 두 개의 레이먼드 성질을 가진 범주의 곱은 통합된 레이먼드 성질을 상속할 수 있는가? 이는 레이먼드 정리의 유한 곱 형태에 대해 어떤 의미를 갖는가?
• RQ5 함수 기호를 포함하는 일阶논리 언어에 대해 Kechris-Pestov-Todorčević 대응과 프라이세이 이론을 어떻게 수정할 수 있는가?

주요 결과

• 레이먼드 성질은 카테고리적 동치에 대해 불변이며, 이는 그것이 객체들만의 성질이 아니라 진정한 카테고리적 불변량임을 증명한다.
• 오른쪽 수반은 형태사상에 대해 레이먼드 성질을 보존하고, 왼쪽 수반은 형태사상에 대해 쌍대 레이먼드 성질을 보존하지만, 반드시 객체들에 대해서는 그렇지 않다.
• 유한 구조의 범주가 레이먼드 성질을 가진다면, 그와 카테고리적으로 동치인 어떤 범주도 동일한 레이먼드 성질을 가진다.
• 전성 사상이 있는 유한 집합의 범주가 쌍대 레이먼드 성질을 가지며, 그 유한 곱은 이 성질을 상속하여 쌍대 레이먼드 정리의 유한 곱 형태를 얻는다.
• 모든 범주 C가 (쌍대) 레이먼드 성질을 가진다면, 곱 범주 C^n 역시 (쌍대) 레이먼드 성질을 가진다. 이는 메타정리로 이어지며, 모든 유한 (쌍대) 레이먼드 정리는 유한 곱 일반화를 갖는다.
• 함수 기호를 포함하는 언어에 대해 Kechris-Pestov-Todorčević 대응은 함수 기호를 관계 기호로 인코딩함으로써 확장되며, 위상 동역학 프레임워크가 유지된다.