[논문 리뷰] Categorical structures enriched in a quantaloid: categories, distributors and functors

Isar Stubbe|ArXiv.org|2004. 09. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 121

한 줄 요약

이 논문은 양자론적 이원체(quantaloid)라는 추가 구조를 지닌 2-범주 유형인 양자론적 이원체를 기반으로 한 카테고리 이론의 일반화를 통해, 카테고리, 함자, 분포기(분포터)를 다루는 종합적인 프레임워크를 개발한다. 이 프레임워크 내에서, 수반 함자, 칸 확장, 가중 (코)극한, 모리타 동치와 같은 핵심 카테고리 이론적 구성요소를 정의하고, Q-분포기의 2-범주 Dist(Q)가 정확한 의미에서 보편적임을 증명함으로써, 고전적 강화된 카테고리 이론을 통합하고 확장한다.

ABSTRACT

We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-category theory we discuss such things as adjoint functors, (pointwise) left Kan extensions, weighted (co)limits, presheaves and free (co)completion, Cauchy completion and Morita equivalence. With an appendix on the universality of the quantaloid Dist(Q) of Q-enriched categories and distributors.

연구 동기 및 목표

• 기존에 대칭 모나드 닫힘 카테고리에서 정의된 고전적 V-카테고리 이론을 더 일반적인 양자론적 이원체, 즉 한 개의 대상만을 가진 2-범주로 확장하는 것.
• 기본 양자론적 이원체 Q에서 강화된 카테고리, 함자, 분포기의 체계적인 이론을 개발하여, 수반관계, 칸 확장, 가중 (코)극한 등을 포함하는 것.
• Q-강화 카테고리와 Q-분포기의 2-범주 Dist(Q)의 보편 성질을 조사하여, 이가 보편적 구성요소임을 규명하는 것.
• 강화된 카테고리 이론의 개념인 예비-함자, 자유 (코)완비성, 코시 완비성, 모리타 동치 등을 양자론적 이원체 기반으로 일반화하는 것.
• 대칭 모나드 카테고리를 2-범주(양자론적 이원체)로 대체하여 고차원 및 일반화된 강화된 카테고리 이론의 기초를 마련하는 것.

제안 방법

• 기본 카테고리로 양자론적 이원체 Q를 사용하며, hom-객체들이 양자론적 구조를 지닌다. 이를 통해 Q-카테고리와 Q-분포기를 정의할 수 있다.
• Q-카테고리를 Q-양자론적 이원체에서 강화된 카테고리로 정의하며, Q의 hom-카테고리 내의 hom-객체를 사용하고, 그들 사이의 함자와 분포기를 구성한다.
• Q-강화된 설정에서 수반 함자, 왼쪽 칸 확장, 가중 (코)극한을 정의하기 위해 Q의 닫힘 구조, 특히 합성에 대한 오른쪽 수반을 활용한다.
• Q-강화 카테고리와 Q-분포기의 2-범주 Dist(Q)의 보편 성질을 적용하여, 이가 Q-카테고리와 함자들의 2-범주를 보편적으로 표현함을 보인다.
• Q-카테고리에서의 코시 완비성과 모리타 동치를 활용하여, 특정한 수반 쌍과 등급 분포기의 존재를 이용한다.
• Q-분포기를 프로파일러의 일반화로 정의하며, 양자론적 구조와 보편 성질을 통해 합성 연산을 정의한다.

실험 결과

연구 질문

• RQ1 대칭 모나드 닫힘 카테고리에서 정의된 V-카테고리 이론을, 한 개의 대상만을 가진 2-범주인 일반적인 양자론적 이원체로 어떻게 일반화할 수 있는가?
• RQ2 Q가 양자론적 이원체일 때, Q-강화 카테고리 이론에서 수반 함자, 칸 확장, 가중 (코)극한의 적절한 일반화 형태는 무엇인가?
• RQ3 Q-카테고리와 함자들의 2-범주에 대한 보편 성질이 Q-카테고리와 Q-분포기의 2-범주 Dist(Q)에 의해 어떻게 기술될 수 있는가?
• RQ4 예비-함자, 자유 (코)완비성, 코시 완비성, 모리타 동치 등의 개념은 Q-강화 설정에서 어떻게 일반화되는가?
• RQ5 양자론적 이원체의 닫힘 구조는 내부 호모모르피즘과 강화된 설정에서 수반을 정의하는 데 어떤 역할을 하는가?

주요 결과

• Q-강화 카테고리와 Q-분포기의 양자론적 이원체 Dist(Q)는 Q-카테고리와 함자들의 2-범주를 보편 성질을 통해 표현하므로, 정확한 의미에서 보편적이다.
• Q-카테고리에서의 수반관계, 왼쪽 칸 확장, 가중 (코)극한은 기초 양자론적 이원체 Q의 닫힘 구조를 통해 특징지어지며, 고전적 V-카테고리 이론의 결과를 일반화한다.
• Q-카테고리에서의 예비-함자는 단위 Q-카테고리에서 주어진 Q-카테고리로 향하는 Q-분포기로 정의되며, 자유 코완비성은 얀다의 임bedding을 통해 구성된다.
• Q-카테고리의 코시 완비성은 자유 코완비성의 대표적 Q-분포기들로 이루어진 전체 부분범주로 특징지워지며, 고전적 개념을 일반화한다.
• Q-카테고리 간의 모리타 동치는 동시에 전부 충실하고 본질적으로 전성인 Q-분포기가 존재함으로써 특징지워지며, 고전적 모리타 이론을 일반화한다.
• Q에서 합성 함자에 대한 오른쪽 수반의 존재, 즉 {f,−}와 [f,−]의 존재는 내부 호모모르피즘을 정의하고, 강화된 극한과 극한의 구성에 필수적이다.