[논문 리뷰] Archimedean Type Conditions in Categories

Elemér E Rosinger|ArXiv.org|2008. 03. 06.

Mathematical and Theoretical Analysis참고 문헌 1인용 수 9

한 줄 요약

이 논문은 임의의 범주에 대해 두 가지 새로운 아르키메데스 유형 조건을 제안하며, 순서가 붙은 반군에서의 고전적 아르키메데스 성질을 일반화한다. 단위 동치성과 반복 합성의 유계성에 기반하여 아르키메데스 범주를 정의하며, 준순서 범주에서는 첫 번째 조건이 유계성으로 줄어들고, 두 번째 조건은 오직 이산 범주(모든 사상이 항등 사상임)를 의미한다.

ABSTRACT

Two concepts of being Archimedean are defined for arbitrary categories.

연구 동기 및 목표

• 순서가 붙은 반군에서의 고전적 아르키메데스 성질을 임의의 범주로 일반화하기 위해.
• 자기 복합이 일반적으로 가능하지 않은 범주에서 '단위' 사상의 개념을 정의하기 위해.
• 화살표 범주와 사상 클래스의 유계성에 기반하여 아르키메데스 성질의 두 가지 서로 다른 범주론적 유사체를 수립하기 위해.
• 이 정의들이 준순서 범주라는 특수한 경우에 미치는 영향을 조사하기 위해.
• 고전적 아르키메데스 개념이 구조화된 환경에서 범주론적 일반화와 어떻게 관련되어 있는지 명확히 하기 위해.

제안 방법

• 범주 $\mathcal{C}^2$를 사용하여, $\mathcal{C}^2$ 내의 교환 다이어그램과 동형사상에 의해 사상 간의 단위 동치성을 정의한다.
• 범주 $\mathcal{C}$의 사상 $a, b$가 존재할 때 $g = b \circ f \circ a$ 를 만족하면, 사상 $f$ 를 $g$ 의 부분사상(submorphism)으로 정의한다. 이를 통해 사상의 복합과 비교가 가능해진다.
• 첫 번째 아르키메데스 조건(2.1)은 $\mathcal{C}$의 모든 사상이 고정된 사상 $v$ 와 단위 동치인 사상들의 유한 복합체의 부분사상이 되어야 한다는 조건을 요구한다.
• $\mathbb{N}v$ 를 $v$ 와 단위 동치인 사상들의 유한 조합으로 구성된 모든 순서의 집합으로 정의하고, 단일 사상의 부분사상으로서의 유계성을 통해 이러한 집합의 유계성을 도입한다.
• 두 번째 아르키메데스 조건(2.5)은 $\mathbb{N}v$ 가 유계이면, $v$ 는 항등 사상이어야 한다는 조건을 제시한다.
• 정의들을 준순서 범주에 적용하여, 객체 간에 유일한 사상이 존재하는 경우에 구체적인 특성화를 도출한다.

실험 결과

연구 질문

• RQ1 순서가 붙은 반군에서의 고전적 아르키메데스 성질을 임의의 범주로 어떻게 일반화할 수 있는가?
• RQ2 자기 복합이 항상 정의되지 않는 범주에서 사상이 '단위'라는 것은 무엇을 의미하는가?
• RQ3 단위 동치인 사상들의 반복 복합체가 유계일 경우, 이를 생성하는 사상이 항등 사상임을 의미하는 조건은 무엇인가?
• RQ4 준순서 범주에서, 범주론적 아르키메데스 조건은 순서가 붙은 반군의 알려진 성질을 복원하는가?
• RQ5 두 아르키메데스 조건은 특히 준순서 범주에서 범주에 어떤 구조적 제약을 가하는가?

주요 결과

• 준순서 범주에서는 첫 번째 아르키메데스 조건(2.1)이 범주가 유계임과 동치이며, 이는 어떤 사상이 다른 모든 사상들을 부분사상으로 포함한다는 의미이다.
• 두 번째 아르키메데스 조건(2.5)는 범주 내 모든 사상이 항등 사상이어야 하므로, 범주는 이산적이어야 한다는 것을 의미한다.
• 준순서 범주에서는 $\mathbb{N}v$ 는 항상 유계이므로, 조건(2.5)는 $v$ 가 항등 사상이 되도록 강제한다.
• 첫 번째 조건(2.1)은 범주의 더 약한 구조로 인해, 순서가 붙은 반군의 고전적 아르키메데스 성질(1.2) 또는 (1.4)를 복원하지 못한다.
• 두 번째 조건(2.5)는 첫 번째 조건보다 엄격히 강력하며, 이는 오직 이산 범주에서만 성립하기 때문이다. 반면 첫 번째 조건은 유계 준순서 범주에서 성립한다.