[논문 리뷰] Algebras of higher operads as enriched categories II

Michael Batanin, Denis-Charles Cisinski외 1명|arXiv (Cornell University)|2009. 09. 25.

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

한 줄 요약

이 논문은 글로부라 플랫폼과 멀티텐서를 사용하여 고차원의 그레이 텐서곱의 일반화를 체계적으로 구축하는 범주론적 프레임워크를 개발한다. 이는 기존의 그레이 및 크란스 텐서곱을 통합하며, 트림블의 약한 $n$$-카테고리 정의를 간결하게 유도하고, 브레인드 모나이드 2-카테고리에 대한 아이erenberg-맥Lane 유형 결과와 $A$-무한대 대수에 대한 텐서곱을 포함한 새로운 결과를 도출한다.

ABSTRACT

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to this task. The resulting theory includes the Gray tensor product of 2-categories and the Crans tensor product [12] of Gray categories. Moreover much of the previous work on the globular approach to higher category theory is simplified by our new foundations, and we illustrate this by giving an expedited account of many aspects of Cheng's analysis [11] of Trimble's definition of weak n-category. By way of application we obtain an "Ekmann-Hilton" result for braided monoidal 2-categories, and give the construction of a tensor product of A-infinity algebras.

연구 동기 및 목표

• 고차원 카테고리 이론에서 그레이 텐서곱의 고차원 일반화를 체계적으로 구축하기 위한 개념적이고 체계적인 프레임워크를 개발하는 것.
• 기존의 그레이 및 크란스 곱을 일관된 대수적 환경에서 통합하는 글로부라 오페라드 접근법을 일반화하는 것.
• 체링의 트림블의 약한 $n$-카테고리 분석에서 핵심 결과들을 새로운 기초를 바탕으로 단순화하고 재유도하는 것.
• $A$-무한대 대수에 대한 텐서곱을 구성하고, 브레인드 모나이드 2-카테고리에 대한 아이eren버그-맥Lane 유형 결과를 도출하는 것.
• 멀티텐서와 모나이드 사이의 2-함수적 대응 관계를 확립하여, 엄밀한 및 약한 $n$-카테고리 모나이드의 개념적 재구성 가능성을 제공하는 것.

제안 방법

• 고차원 범주적 구조를 모델링하기 위해 글로부라 오페라드와 멀티텐서의 기계적 장치를 활용한다.
• 멀티텐서에서 모나이드로의 2-함수 $\Gamma$를 도입하여 멀티텐서와 모나이드의 카테고리 사이에 2-함수적 대응 관계를 수립한다.
• 분배 법칙과 경로 유사 모나이드를 사용하여 멀티텐서를 구성하고 올리며, 고차원 구조의 귀납적 구성 가능성을 보장한다.
• 멀티텐서 올림 정리(lifting theorem)를 적용하여 새로운 텐서곱과 강화를 도출하며, 특히 $A$-무한대 대수에 대해 적용한다.
• 위상공간 $\textnormal{Top}_\bullet$와 $\mathcal{G}^n\textnormal{Set}$에서의 자명한 피브레이션을 통한 수축성 증명을 활용하여 트림블 $n$-카테고리 정의에 사용되는 $n$-오페라드의 수축성을 인도적으로 증명한다.
• 잊혀진 함자 $U_n: \textnormal{Trm}_n \to \mathcal{G}^n\textnormal{Set}$와 경로 공간과의 상호작용을 활용하여 위상적 수축성과 글로부라 집합의 구조 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 약한 $n$-카테고리에 대해 그레이 텐서곱의 고차원 일반화를 어떻게 체계적으로 구성할 수 있는가?
• RQ2 글로부라 오페라드의 맥락에서 멀티텐서와 모나이드 사이의 개념적 관계는 무엇인가?
• RQ3 글로부라 오페라드 이론이 체링의 트림블의 약한 $n$-카테고리 분석에서 핵심 결과들을 단순화하고 재유도하는 데 어떻게 활용될 수 있는가?
• RQ4 어떤 조건이 멀티텐서나 오페라드의 수축성을 보장하며, 이는 약한 $n$-카테고리 구축과 어떻게 관련되는가?
• RQ5 이 프레임워크는 $A$-무한대 대수나 브레인드 모나이드 2-카테고리에 대한 새로운 텐서곱을 구성하는 데 어떻게 적용될 수 있는가?

주요 결과

• 논문은 멀티텐서와 모나이드 사이의 2-함수적 대응 관계 $\Gamma$를 확립하여 고차원 범주적 구조의 개념적 기초를 제공한다.
• 멀티텐서 올림 정리는 $A$-무한대 대수에 대한 텐서곱을 포함한 새로운 텐서곱의 구성 가능성을 보장한다.
• 브레인드 모나이드 2-카테고리에 대한 아이eren버그-맥Lane 유형 결과가 이 프레임워크의 결과로 도출된다.
• 트림블 $n$-카테고리 정의에 사용되는 $n$-오페라드의 수축성은 $\textnormal{Top}_\bullet$와 $\mathcal{G}^n\textnormal{Set}$에서의 자명한 피브레이션을 이용한 인도적 증명을 통해 증명된다.
• 이 이론은 체링의 트림블 정의 분석에서 핵심 결과들을 단순화하고 재유도하며, 엄밀한 $n$-카테고리 모나이드의 구성도 포함한다.
• 이 프레임워크는 그레이 텐서곱과 크란스의 텐서곱을 단일 멀티텐서 구성의 특수한 경우로 일반화한다.