[논문 리뷰] Enriched categories as a free cocompletion

Richard Garner, Michael Shulman|arXiv (Cornell University)|2013. 01. 15.

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

한 줄 요약

이 논문은 단순한 카테고리 이론을 고차원 카테고리로 일반화하여, 단순한 카테고리 이론을 고차원 카테고리로 일반화한다. 모나이드 이중카테고리에서 양자화된 이중카테고리 이론을 개발하며, 특히 ${\mathcal{V}}$-카테고리, 함자, 변환, 모듈러의 장비가 특정한 양자화된 이중카테고리에서 가중 바이콜리미트에 대한 자유 코컴플리션으로서 나타남을 입증한다. 이는 고차원 유니버설 성질을 통한 양자화된 카테고리의 보편적 특성화를 제공한다.

ABSTRACT

This paper has two objectives. The first is to develop the theory of bicategories enriched in a monoidal bicategory -- categorifying the classical theory of categories enriched in a monoidal category -- up to a description of the free cocompletion of an enriched bicategory under a class of weighted bicolimits. The second objective is to describe a universal property of the process assigning to a monoidal category V the equipment of V-enriched categories, functors, transformations, and modules; we do so by considering, more generally, the assignation sending an equipment C to the equipment of C-enriched categories, functors, transformations, and modules, and exhibiting this as the free cocompletion of a certain kind of enriched bicategory under a certain class of weighted bicolimits.

연구 동기 및 목표

• 모나이드 카테고리에서의 고전적 양자화 이론을 모나이드 이중카테고리로 확장하여, 고차원 카테고리 이론을 개발한다.
• 모나이드 카테고리 ${\mathcal{V}}$를 ${\mathcal{V}}$-카테고리, 함자, 변환, 모듈러의 장비로 할당하는 구성에 대해 보편 성질을 제공한다.
• 이 할당이 특정 유형의 가중 바이콜리미트에 대한 자유 코컴플리션으로서 나타남을 보여준다.
• 기존의 양자화된 함자, 모듈러, 코리미트의 개념을 고차원 카테고리 유니버설 구성에 통합하고 일반화한다.

제안 방법

• 모나이드 카테고리를 모나이드 이중카테고리로 대체하여 고차원 카테고리 이론을 일반화한다.
• ${\mathcal{V}}$-이중카테고리를 정의하며, 이는 모나이드 이중카테고리 ${\mathcal{V}}$의 내부 객체를 함수로 가지며, 조합과 항등 1-사상이 일관된 역행성 2-사상에 의해 정의된다.
• 모나이드 이중카테고리 ${\mathcal{V}}$에 대한 ${\mathcal{V}}$-이중카테고리의 트리카테고리와 모듈러, 텐서곱, 내부 함수를 정의한다.
• ${\mathcal{V}}$-이중카테고리에 대해 양자화된 양다리 정리(Yoneda Lemma)를 입증하고, 오른쪽 모듈러의 카테고리를 정의한다.
• 자기 모듈러의 카테고리에서 타이트 콜라지와 수반 구조를 이용하여 가중 바이콜리미트에 대한 자유 코컴플리션을 구성한다.
• 콜라지와 수반의 보편 성질을 이용하여, ${\mathcal{C}}$-카테고리의 장비가 특정한 양자화된 이중카테고리의 타이트 콜라지에 대한 자유 코컴플리션임을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 양자화 카테고리 이론을 어떻게 모나이드 이중카테고리를 사용하여 고차원 카테고리 설정으로 일반화할 수 있는가?
• RQ2 ${\mathcal{V}}$-카테고리, 함자, 변환, 모듈러의 장비를 특성화하는 보편 성질은 무엇인가?
• RQ3 가중 바이콜리미트와 콜라지는 어떻게 양자화된 이중카테고리의 자유 코컴플리션과 관련이 있는가?
• RQ4 강화된 국소 코코몰로지가 양자화된 카테고리의 보편 특성화에 어떤 방식으로 기여하는가?
• RQ5 자유 코컴플리션 구성에서 양자화된 함자를 정확히 타이트 사상으로 복원할 수 있는가?

주요 결과

• ${\mathcal{V}}$-카테고리, 함자, 변환, 모듈러의 장비가 특정한 양자화된 이중카테고리에서 가중 바이콜리미트에 대한 자유 코컴플리션으로서 나타남을 입증하였다.
• ${\mathcal{C}}$-카테고리의 구성에서 자유 코컴플리션을 통해 양자화된 함자를 정확히 타이트 사상으로 복원함으로써 이전 접근법의 한계를 해결하였다.
• 모듈러는 자유 코컴플리션 내에서 자연스럽게 느슨한 사상으로 나타나며, 이는 이전 연구에서 사용된 메일리 사상보다 더 자연스럽고 일반적인 개념을 제공한다.
• 보편 성질은 타이트 콜라지와 수반 구조를 통해 입증되었으며, 콜라지의 오른쪽 수반은 보편 구성에서 역동치를 제공한다.
• 타이트 콜라지에 대한 자유 코컴플리션은 ${\mathcal{C}}$가 국소 코코몰로지가 갖추어져 있을 경우, ${\mathcal{C}}$-카테고리, 함자, 변환, 모듈러의 카테고리와 정확히 일치함을 입증하였다.
• 이 결과는 [LS02]에서의 이전 관찰을 일반화하며, 장비와 국소 코코몰로지의 사용이 양자화된 카테고리의 보다 깔끔하고 정확한 보편 특성화를 가능하게 함을 보여준다.