[논문 리뷰] A Small Observation on Co-categories

Peter LeFanu Lumsdaine|arXiv (Cornell University)|2009. 02. 27.

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

한 줄 요약

이 논문은 어떤 일관성 있는 범주에서도 모든 내부 공범주(코카테고리)는 반드시 공등치관계(co-equivalence relation)임을 보여준다. 즉, 그들의 공합성(co-composition)과 공역수(co-inverse) 구조는 출발점과 도착점 사상에 의해 유일하게 결정된다. 핵심 결과는 이러한 범주, 특히 토포스와 프레토포스에서 공범주와 단사사상 사이의 범주적 동치를 수립한다.

ABSTRACT

Various concerns suggest looking for internal co-categories in categories with strong logical structure. It turns out that in any coherent category, all co-categories are co-equivalence relations.

연구 동기 및 목표

• 강력한 논리적 구조를 지닌 범주, 특히 일관성 있는 범주에서 내부 공범주의 구조를 조사한다.
• 이러한 설정에서 공범주가 등치관계를 초월해 비자명한 행동을 보일 수 있는지 여부를 규명한다.
• 논리적 범주에서 공범주, 공전순서, 공군주 간의 관계를 명확히 한다.
• 일관성 있는 범주에서 공핵쌍(co-kernel pairs)을 갖는 경우, 공범주와 단사사상 사이의 범주적 동치를 수립한다.
• 2-범주적 구조와 간격 객체를 이용한 의도적 유형 이론 모델링에 대한 함의를 탐색한다.

제안 방법

• 출발점, 도착점, 공합성, 공항등사 사상 등을 사용하여 반대 범주에서의 내부 범주로서 내부 공범주를 정의한다.
• 일관성 있는 범주의 내부 논리를 사용하여 출발점과 도착점 사상의 공동 커버링 성질을 분석한다.
• 일관성 있는 범주에서 이미지와 합집합이 당김에 대해 안정적이라는 사실을 적용하여, 공범주가 공전순서임을 증명한다.
• 공전순서에서 공역수 사상이 존재하고 군주와 동치인 역행성 항등식을 만족함을 보여, 이것이 공등치관계가 됨을 밝힌다.
• 공핵쌍을 통해 단사사상의 범주에서 공등치관계로의 함자를 구성한다.
• 이 함자가 범주가 공정확(co-exact)할 경우, 특히 토포스와 프레토포스에서 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 일관성 있는 범주에서 내부 공범주는 어떤 구조적 제약을 만족하는가?
• RQ2 일관성 있는 범주에서 공범주는 공등치관계가 아닐 수 있는가, 아니면 반드시 구조적으로 자명한가?
• RQ3 단사사상의 공핵쌍을 갖는 일관성 있는 범주에서 공범주와 단사사상 간의 관계는 무엇인가?
• RQ4 토포스에서 공범주는 내부 논리와 부분대상 분류자와 어떻게 관련되는가?
• RQ5 2-범주적 모델에서 의도적 유형 이론을 모델링할 때 공범주는 간격 객체에 어떤 역할을 하는가?

주요 결과

• 어느 일관성 있는 범주에서든 모든 내부 공범주는 반드시 공등치관계이다.
• 출발점과 도착점 사상이 함께 전성일 때, 공범주의 공합성 사상은 출발점과 도착점 사상에 의해 유일하게 결정된다.
• 공전순서에서 공역수 사상이 존재하고 군주와 동치인 역행성 항등식을 만족함으로써, 이는 공등치관계가 된다.
• 단사사상의 공핵쌍을 갖는 일관성 있는 범주에서는 공범주의 범주가 단사사상의 범주와 동치이다.
• 어느 토포스에서도 공범주의 범주는 부분대상 분류자를 통해 부분대상의 콜렉스 범주와 동치이다.
• 토포스에서의 보편적 공범주는 부분대상 분류자로 향하는 최종 사상의 공핵쌍이다.