[논문 리뷰] Coherence for Categorified Operadic Theories

Miles Gould|arXiv (Cornell University)|2010. 02. 04.

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

한 줄 요약

이 논문은 작도를 통해 제시된 대수 이론의 일관된 분류화 프레임워크를 제안하며, 등식이 일관된 동형사상으로서 성립하는 약한 $P$-범주를 정의한다. 이는 엄격한 $P$-범주에서의 忘却 함자에 대해 왼쪽 수반인 엄격화 함자를 수립하며, 이는 작도의 표현 방식에 의존하지 않고, 고전적인 단순 및 대칭 단순 범주에 대한 일관성 결과를 일반화한다.

ABSTRACT

Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold only up to coherent isomorphism. This generalizes the theories of monoidal categories and symmetric monoidal categories, and several related notions defined in the literature. Using this definition, we generalize the result that every monoidal category is monoidally equivalent to a strict monoidal category, and show that the "strictification" functor has an interesting universal property, being left adjoint to the forgetful functor from the category of strict $P$-categories to the category of weak $P$-categories. We further show that the categorification obtained is independent of our choice of presentation for $P$, and extend some of our results to many-sorted theories, using multicategories.

연구 동기 및 목표

• 작도로 기술된 대수 이론에 대해 체계적인 분류화의 개념을 정의하여, 단순 및 대칭 단순 범주를 일반화한다.
• 모든 약한 $P$-범주는 유일한 성질을 가진 엄격화 함자를 통해 엄격한 $P$-범주와 동치임을 보여준다.
• 작도 표현의 선택에 관계없이 분류화 구성이 독립적임을 증명하여, 다양한 문법적 서술 간의 일관성을 확보한다.
• 다중 종류의 이론에 대해 다중범주와 강화된 구조를 사용하여 프레임워크를 확장한다.
• 제안된 접근법을 2-모나드에 대한 의사대수와 라플라자 집합 등의 대안 정의와 비교·대조한다.

제안 방법

• 등식이 지정된 일관된 동형사상으로서 성립하는 작도화된 작도에 대한 대수로 약한 $P$-범주를 정의한다.
• 약한 $P$-범주에서 엄격한 $P$-범주로 가는 엄격화 함자를 구성하며, 이가 忘却 함자에 대해 왼쪽 수반임을 보인다.
• 요소 분해 체계와 문법적 특성화를 활용하여 분류화된 설정에서의 일관성 개념을 형식화한다.
• 강화된 다중범주와 유한 곱 작도를 활용하여 이론을 다중 종류의 이론과 대수적 구조를 가진 이론으로 일반화한다.
• 등가의 작도가 동일한 분류화를 유도함을 보여, 표현 독립성을 입증한다.
• 2-모나드에 대한 의사대수와 라플라자 집합 등의 기존 프레임워크와 비교하여, 한계와 장점을 분석한다.

실험 결과

연구 질문

• RQ1 어떻게 작도로 기술된 대수 이론의 체계적인 분류화를 정의할 수 있으며, 등식이 오직 일관된 동형사상으로서만 성립하도록 할 수 있는가?
• RQ2 약한 $P$-범주에서 엄격한 $P$-범주로 가는 엄격화 함자가 만족하는 유일성 성질은 무엇이며, 忘却 함자와의 관계는 어떠한가?
• RQ3 작도 $P$의 표현 선택에 관계없이 유도된 분류화가 독립적인가?
• RQ4 다중범주와 강화된 구조를 사용하여 이론을 다중 종류의 이론으로 확장할 수 있는가?
• RQ5 2-모나드에 대한 의사대수나 라플라자 집합 등의 대안 정의와 비교했을 때, 이 접근법은 일관성과 유일성 측면에서 어떠한가?

주요 결과

• 약한 $P$-범주에서 엄격한 $P$-범주로 가는 엄격화 함자는 忘却 함자에 대해 왼쪽 수반이며, 이는 구성에 대한 유일성 성질을 확립한다.
• 작도 $P$로 표현된 이론의 분류화는 $P$의 표현 선택에 관계없이 독립적이며, 다양한 문법적 서술 간의 일관성을 보장한다.
• 이 프레임워크는 고전적인 일관성 결과를 일반화한다. 예를 들어 조일과 스트리트의 정리에 따르면, 모든 약한 단순 범주는 단순 동치 관계로 엄격한 것으로 변환 가능하다.
• 대칭 작도의 경우, 구성은 대칭 단순 범주를 유도하며, 일관성 조건은 대칭 동형사상이 작도적 구조와 호환됨을 보장한다.
• 2-모나드에 대한 의사대수의 함정을 피하며, 대칭 동형사상에 과도하게 제약을 두어 대칭 단순 범주를 정확히 기술하지 못하는 문제를 해결한다.
• 라플라자 집합과 강화된 다중범주의 사용은 다중 종류의 이론과 고차원 대수 이론으로의 확장에 대해 민첩하고 일반적인 방법을 제공한다.