[논문 리뷰] Operads in iterated monoidal categories

Stefan Forcey, Jacob Siehler외 1명|ArXiv.org|2007. 02. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 23인용 수 41

한 줄 요약

이 논문은 $k$-fold 단순화된 카테고리 내에서 $n$-fold 작용소의 정의 프레임워크를 수립하며, $n$-fold 작용소의 카테고리가 $(k-n)$-fold 단순화된 카테고리의 구조를 상속받음을 보여준다. 이는 브레이드 또는 대칭 단순화된 카테고리 이외의 분야로 작용소 이론을 일반화하며, $n$-fold 작용소가 자동으로 $(n-1)$-fold 작용소임을 증명하고, 영양도 및 자연수와 같은 기하학적 예시를 통해 그 행동을 설명한다.

ABSTRACT

The structure of a $k$-fold monoidal category as introduced by Balteanu, Fiedorowicz, Schwänzl and Vogt can be seen as a weaker structure than a symmetric or even braided monoidal category. In this paper we show that it is still sufficient to permit a good definition of ($n$-fold) operads in a $k$-fold monoidal category which generalizes the definition of operads in a braided category. Furthermore, the inheritance of structure by the category of operads is actually an inheritance of iterated monoidal structure, decremented by at least two iterations. We prove that the category of $n$-fold operads in a $k$-fold monoidal category is itself a $(k-n)$-fold monoidal, strict 2-category, and show that $n$-fold operads are automatically $(n-1)$-fold operads. We also introduce a family of simple examples of $k$-fold monoidal categories and classify operads in the example categories.

연구 동기 및 목표

• 브레이드 또는 대칭 단순화된 카테고리 이외의 분야로 작용소 이론을 일반화하기 위해 $k$-fold 단순화된 카테고리 내에서 $n$-fold 작용소를 정의하는 것.
• 한 $k$-fold 단순화된 카테고리 내에서 $n$-fold 작용소의 카테고리가 $(k-n)$-fold 단순화된 카테고리의 구조를 상속받는다는 것을 보여주는 것.
• $n$-fold 작용소가 자동으로 $(n-1)$-fold 작용소임을 보여주며, 작용소 구조의 계층적 상속을 드러내는 것.
• 완전 순서를 가진 단위군과 영양도를 사용하여 $k$-fold 단순화된 카테고리의 구축 및 분류를 위한 것.
• 이러한 카테고리 내에서 작용소의 조합론적 및 기하학적 성장 패턴을 탐구하며, 네트워크 이론 및 전형적 척도 조정에의 적용 가능성을 제안하는 것.

제안 방법

• 브레이드 단순화된 카테고리의 일반화로서 교환 등식을 약화시킨 $k$-fold 단순화된 카테고리로 작용소의 정의를 적응하는 것.
• $1 \leq p < q \leq n$에 대해 다중 수준의 복합을 允가하는 $\otimes_p$의 계층적 곱을 도입하는 것.
• $k$-fold 단순화된 카테고리 내에서 느슨한 교환 법칙을 사용하여 완전한 대칭성 또는 브레이드 없이도 작용소 작용을 정의하는 것.
• 전체 순서, 최대값, 덧셈, 그리고 순서열에 대한 사전순서를 사용하여 $k$-fold 단순화된 카테고리의 구체적 예를 구성하는 것.
• $\mathbb{N}$ 및 영양도의 카테고리와 같은 조합론적 카테고리에 이 이론을 적용하여 작용소 성장 패턴을 분석하는 것.
• $\mathcal{C}$-대수의 정의를 $n$-fold 작용소에 대해 $\theta^{pq}$의 구조 사상으로 하며, 결합법칙 및 항등원 공리에 따라 만족시키며, 대수의 텐서곱에 대한 명시적 공식을 제공하는 것.

실험 결과

연구 질문

• RQ1 브레이드 또는 대칭 단순화된 카테고리보다 더 약한 $k$-fold 단순화된 카테고리 내에서 작용소를 의미 있게 정의할 수 있는가?
• RQ2 한 $k$-fold 단순화된 카테고리 내에서 $n$-fold 작용소의 카테고리가 반복된 단순화된 구조를 상속받는가? 만약 그렇다면, 그 정도는 무엇인가?
• RQ3 $n$-fold 작용소는 $(n-1)$-fold 작용소와 어떻게 관련되어 있으며, 이는 작용소 구조의 계층성에 대해 무엇을 시사하는가?
• RQ4 조합론적 $k$-fold 단순화된 카테고리, 예를 들어 $\mathbb{N}$ 및 영양도의 카테고리 내에서 작용소의 성장 패턴은 어떠한가?
• RQ5 $\mathcal{C}$-대수의 텐서곱은 자연스럽게 정의될 수 있으며, 이는 $n$-fold 작용소 대수의 구조를 유지하는가?

주요 결과

• 한 $k$-fold 단순화된 카테고리 내에서 $n$-fold 작용소의 카테고리 자체가 $(k-n)$-fold 단순화된 카테고리이며, 엄격한 $2$-카테고리임을 보여준다.
• 모든 $n$-fold 작용소는 자동으로 $(n-1)$-fold 작용소임을 보여주며, 이는 작용소 구조의 중첩된 계층을 시사한다.
• $\mathbb{N}$에서 일반적인 덧셈을 사용할 경우, $2$-fold 작용소는 완전히 분류되며, 작용소 항목에서 선형 및 로그 성장 패턴이 나타난다.
• 영양도의 카테고리 내에서의 작용소는 서로 다른 차원에서 선형 및 로그 성장 패턴을 보이며, 이는 작용소 성장 이론을 시사한다.
• $n$-fold 작용소 $\mathcal{C}$ 및 $\mathcal{D}$에 대한 $\mathcal{C}$-대수의 텐서곱은 자연스럽게 텐서 곱 작용소 $\mathcal{C} \otimes' \mathcal{D}$의 대수로 간주되며, 구조 사상에 대한 명시적 공식이 존재한다.
• 제안된 카테고리 내에서 조합론적 작용소를 사용하여 반례와 정밀한 정리를 제공하며, 분류 결과의 정밀성을 입증한다.