[논문 리뷰] Limits and colimits of quantaloid-enriched categories and their distributors

Lili Shen, Walter Tholen|arXiv (Cornell University)|2015. 04. 13.

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

한 줄 요약

이 논문은 임의의 소량의 Q에 대해 소량 Q-카테고리와 Q-함수, 그리고 Q-분포와 Q-Chu 변환의 카테고리가 모두 전체적이고 쌍대전체적임을 입증한다. Q-Chu 공간의 카테고리에 생성 집합의 존재를 증명함으로써, 저자들은 두 카테고리가 모든 소량의 극한과 쌍극한을 포함하여, 크기가 큰 다이어그램에 의해 인덱싱된 것까지도 포함하여 모두 수용함을 보여주며, 이는 고전적인 소량 제약 조건을 초월하여 양량화된 카테고리 구조의 범주론적 완전성 성질을 확장한다.

ABSTRACT

It is shown that, for a small quantaloid Q, the category of small Q-categories and Q-functors is total and cototal, and so is the category of Q-distributors and Q-Chu transforms.

연구 동기 및 목표

• 소량의 양량화된 카테고리로 강화된 카테고리에서 극한과 쌍극한의 존재를 조사하는 것.
• 소량 Q-카테고리와 Q-함수의 카테고리가 전체적이고 쌍대전체적임을 확립하는 것.
• Q-분포(즉, Q-Chu 공간)와 Q-Chu 변환의 카테고리가 모든 소량의 극한과 쌍극한을 포함함을 보여주는 것.
• Q-Chu에 생성 집합을 구성함으로써 전체 완전성과 쌍극한 완전성을 증명하는 것.

제안 방법

• Q-Cat가 Set/ob Q 위에서 위상적임을 증명함으로써, 소량의 극한과 쌍극한을 명시적으로 구성할 수 있음을 보장한다.
• 소량의 다이어그램에 대해 Q-Chu에서 극한과 쌍극한을 기반으로 한 구조적 콘의 초기 끌림을 사용하여 기술한다.
• s,t ∈ ob Q에 대해 ηs: ∅ →◦ Ds와 λt: {t} →◦ bC인 객체들을 사용하여 Q-Chu에 생성 집합을 구성한다.
• 생성 집합의 존재를 활용하여, Proposition 2.6를 통해 Q-Chu의 전체 완전성과 전체 쌍극한 완전성을 증명한다.
• Q-Chu에서 단사 사상과 전사 사상이 Q-Cat에서의 단사 및 전사 Q-함수와 대응됨을 검증함으로써 잘다스러움을 확보한다.
• 전체 완전성과 쌍극한 완전성을 동시에 확립함으로써 Q-Chu가 초완전적이고 초쌍극한완전적임을 입증한다.

실험 결과

연구 질문

• RQ1 소량의 양량화된 Q에 대해 소량 Q-카테고리와 Q-함수의 카테고리 Q-Cat는 모든 소량의 극한과 쌍극한을 수용하는가?
• RQ2 Q-분포와 Q-Chu 변환의 카테고리 Q-Chu가 전체적이고 쌍대전체적임을 입증할 수 있는가?
• RQ3 Q-Chu에서 극한과 쌍극한의 구조는 어떠한가? 그리고 그것들을 명시적으로 기술할 수 있는가?
• RQ4 Q-Chu는 생성 집합을 갖는가? 만약 그렇다면, 이는 전체 완전성과 쌍극한 완전성을 어떻게 암시하는가?
• RQ5 Q-Chu의 범주론적 성질은 Q-Cat와 비교할 때 완전성과 쌍극한 완전성 측면에서 어떻게 다른가?

주요 결과

• Q-Cat는 Set/ob Q 위에서 위상적임을 보여주며, 이는 모든 소량의 극한과 쌍극한을 포함함을 암시한다.
• Q-Chu는 전체적이고 쌍대전체적임을 보여주며, 이는 크기가 큰 다이어그램에 의해 인덱싱된 극한과 쌍극한을 포함하여 모든 소량의 극한과 쌍극한을 포함함을 의미한다.
• Q-Chu에 생성 집합이 {ηs: ∅ →◦ Ds | s ∈ ob Q} ∪ {λt: {t} →◦ bC | t ∈ ob Q}로 구성되며, 여기서 Ds는 Q-Cat의 생성 집합에서 유래하고 bC는 프리셰이브 범주들의 쌍극한이다.
• Q-Chu에 생성 집합의 존재는 Q-Chu가 전체 완전성과 전체 쌍극한 완전성을 모두 갖는다는 것을 암시한다.
• 결국 Q-Chu는 초완전적이고 초쌍극한완전적임을 보여주며, 이는 모든 소량 및 크기가 큰 극한과 쌍극한을 포함함을 의미한다.
• 결과들은 오르더링(Ord)과 메트릭 공간(Met)과 같은 고전적인 완전성 성질을 더 넓은 양량화된 카테고리 및 그 분포의 범주로 일반화한다.