[논문 리뷰] Operads in Higher-Dimensional Category Theory

Tom Leinster|ArXiv.org|2000. 11. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 32인용 수 30

한 줄 요약

이 논문은 T-다중군과 T-연산자로부터 일반화하여 고차원 범주론에서 연산자들을 도입하며, 객체 집합 {1}을 가진 T-연산자의 대수들이 기저 모나드 T의 대수들과 대응됨을 보여준다. 이는 집합 위의 모나드와 이산 오퍼피브레이션을 이용하여 고차원 대수적 구조의 프레임워크를 수립하며, 범주론적 맥락에서 모나드와 그에 관련된 연산자 간의 관계를 명확히 한다.

ABSTRACT

The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed definition of n-category is a reasonable one, and of what happens when n=2. Generalized operads and multicategories play other parts in higher-dimensional algebra too, some of which are outlined here: for instance, they can be used to simplify the opetopic approach to n-categories expounded by Baez, Dolan and others, and are a natural language in which to discuss enrichment of categorical structures.

연구 동기 및 목표

• 다중군과 연산자의 이론을 고차원 범주론적 구조로 확장하기.
• 소형 범주 위의 이산 오퍼피브레이션으로서 T-다중군을 형식화하기.
• T-연산자에 대한 대수와 기저 모나드 T에 대한 대수 간의 관계를 명확히 하기.
• 모나드와 오퍼피브레이션을 이용하여 고차원 대수의 범주론적 프레임워크 제공하기.
• 객체 집합이 싱글턴인 T-연산자가 T-대수와 동치인 대수를 유도함을 보여주기.

제안 방법

• 소형 범주 D 위의 이산 오퍼피브레이션 Y를 사용하여 T-다중군을 정의한다.
• T-다중군의 대수를 D 위의 다른 이산 오퍼피브레이션 X로의 사상으로 정의한다.
• Set 위의 모나드 T를 이용하여 C → πM 인 함자들을 통해 T-다중군을 구성한다.
• 나무의 범주 위의 자유 모나드를 고려하여 T-연산자를 모델링한다.
• C₀ = {1}인 T-연산자를 분석하여 T-대수의 구조와 연산자에 대한 대수가 동치임을 보인다.
• 범주론적 대칭성과 함자성의 성질을 활용하여 모나드 대수와 연산자 대수 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 소형 범주 위의 이산 오퍼피브레이션을 통해 T-다중군는 어떻게 특징지을 수 있는가?
• RQ2 T-연산자에 대한 대수와 기저 모나드 T에 대한 대수 간의 관계는 무엇인가?
• RQ3 객체 집합이 싱글턴인 T-연산자는 모나드 대수와 어떻게 관련되는가?
• RQ4 이산 오퍼피브레이션은 어떻게 고차원 대수적 구조를 인코딩하는가?
• RQ5 T-다중군에 대한 대수의 범주론적 구조는 무엇인가?

주요 결과

• 모든 π에 대해, T-다중군 (C, π)에 대한 대수는 C → Set 인 함자들과 동치이다.
• T가 나무 위의 자유 모나드일 경우, C₀ = {1}인 T-연산자는 정확히 T-대수들과 대응된다.
• 객체 집합이 싱글턴인 T-연산자에 대한 대수의 범주는 [C, Set]과 동형이다. 즉, C에서 Set로의 함자들의 범주이다.
• 모든 모노이드 M에 대해, T-다중군 (Set, M×−)에 대한 대수의 범주는 π의 선택과 무관하게 [C, Set]과 같다.
• 이 구성은 C₀ = {1}인 T-연산자가 표준 T-대수와 동치인 대수를 유도함을 보여준다.
• 이 프레임워크는 고차원 범주론에서 모나드 기반과 연산자 기반의 대수적 구조를 통합한다.