[논문 리뷰] Free Products of Higher Operad Algebras

Mark Weber|ArXiv.org|2009. 09. 25.

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

한 줄 요약

이 논문은 이전에 범주에 대해 정의된 '재미있는 텐서 곱'을 n-연산자에 의해 지배되는 고차 범주적 구조로 일반화한다. 대체로 대칭 모나드와 강화된 그래프 다중범주를 사용하여, n-연산자의 대수 위에 대칭 모나드 닫힘 구조를 구축함으로써, 3차원에서의 Gray 텐서 곱과 유사한 방법으로 반복적으로 정의된 반엄격 n-범주를 가능하게 한다.

ABSTRACT

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product of 2-categories. In this paper we continue the developments of [3] and [2] by understanding the natural generalisations of Gray's little brother, the funny tensor product of categories. In fact we exhibit for any higher categorical structure definable by an n-operad in the sense of Batanin [1], an analogous tensor product which forms a symmetric monoidal closed structure on the category of algebras of the operad.

연구 동기 및 목표

• 약한 n-범주를 위한 체계적인 고차원 버전의 Gray 텐서 곱을 개발하기 위해.
• Batanin의 의미에서 n-연산자의 대수로 카테고리의 '재미있는 텐서 곱'을 일반화하기 위해.
• 모나드와 다중범주 이론을 사용하여 n-연산자 대수의 범주에 대칭 모나드 닫힘 구조를 확립하기 위해.
• 재미있는 텐서 곱의 일반화로서 고차 연산자 대수의 '자유 곱'을 정의하고 분석하기 위해.
• 반복적이고 연산자 기반의 방법을 통해 반엄격 n-범주를 구성하기 위한 이론적 프레임워크를 제공하기 위해.

제안 방법

• 대칭 모나드와 표현 가능한 다중범주 프레임워크를 활용하여, n-연산자 대수 위의 텐서 곱을 정의한다.
• Set로의 함자를 갖는 범주에서 강화된 그래프로의 2-함수적 할당을 구축하며, 이는 모나드 구조와 호환된다.
• 분배 다중텐서와 경로 유사 모나드를 사용하여 다중사상에 대한 호모지오미터적 객체의 명시적 묘사를 제공한다.
• '다중텐서 낙하 정리'를 적용하여 자유 곱을 카르테시안 곱과 연결하고 비교 사상들을 도출한다.
• 비슷한 Gray 텐서 곱의 구성에서와 같이, 수직적 요소(예: 객체에 대한 전단사, 전형적 포함)와 같은 정렬 데이터를 복원하기 위해 수직 분해 체계(예: 전단사-객체, 전형적 포함)를 사용한다.
• 자유 곱 구축법이 잘 포인트된, 카르테시안 모나드일 경우에 대해 카르테시안 자연스럽고 코프로덕트와 호환됨을 증명한다.

실험 결과

연구 질문

• RQ1 카테고리의 '재미있는 텐서 곱'은 어떻게 n-연산자로 정의된 고차 범주적 구조로 일반화될 수 있는가?
• RQ2 n-연산자 대수의 범주에 대해 어떤 대칭 모나드 닫힘 구조가 발생하는가?
• RQ3 T-대수의 자유 곱이 카르테시안 곱으로의 자연스러운 비교 사상(비교 사상)을 갖는 조건은 무엇인가?
• RQ4 Gray 텐서 곱의 고차원 일반화에서의 정렬 데이터는 어떻게 시스템적으로 유도될 수 있는가?
• RQ5 분배 다중텐서와 경로 유사 모나드는 자유 곱 구축법을 명시적으로 만들기 위해 어떤 역할을 하는가?

주요 결과

• 모든 n-연산자 A에 대해, A-대수의 범주는 일반화된 '자유 곱' 텐서 곱을 통해 대칭 모나드 닫힘 구조를 갖는다.
• T-대수의 자유 곱은 전단사-객체, 전형적 포함 분해를 통해 인식되는 자연 변환을 통해 카르테시안 곱과 자연스럽게 연결된다.
• 모나드 T가 잘 포인트된, 카르테시안이며 코프로덕트를 보존하는 경우, 자유 곱에서 카르테시안 곱으로의 비교 사상은 카르테시안 자연스럽다.
• 자유 곱의 명시적 묘사는 ΓE ≅ T를 만족하는 분배 다중텐서 E에 의존하며, 이는 연결 가능한 사상의 순서를 통한 구체적인 호모지오미터적 객체 묘사를 가능하게 한다.
• 다중텐서 낙하 정리는 '세스쿠리-A-대수'를 위한 모나드를 구성할 수 있게 하며, 이는 A-대수로 강화된 범주이며 자유 곱을 텐서로 갖는다. 이 모나드는 (n+1)-연산자에서 유래됨을 보여준다.
• 이 프레임워크는 정렬 데이터가 수직 분해 체계에 의해 결정되는 반복적 방법을 통해 반엄격 n-범주를 체계적으로 구성하기 위한 완전한 이론적 기초를 제공한다.