[논문 리뷰] Multitensors as monads on categories of enriched graphs

Mark Weber|arXiv (Cornell University)|2011. 06. 10.

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

한 줄 요약

이 논문은 범주 $V$ 상의 다중텐서(multitensors)와 $V$-강화 그래프의 범주 $\Gamma V$ 상의 모나드(monads) 사이에 체계적으로 관계를 맺는 통합 프레임워크를 수립한다. 분배 가능한 다중텐서가 $Γ E$ 라는 구성에 의해 모나드로 이끌어내는 방식을 보여주며, 주요 기여는 다중텐서와 모나드 사이의 2-함수적 대응관계를 제시함으로써 고차 범주론적 구조(예: 그레이와 크란스 텐서곱)를 통합적으로 다룰 수 있도록 하고, '재미있는 텐서곱'과 같은 구성들을 일반화한다.

ABSTRACT

In this paper we unify previous developments on higher operads and multitensors into a single framework in which the interplay between multitensors on a category V, and monads on the category of graphs enriched in V, is taken as fundamental. The material presented here is the conceptual background for subsequent work in which the Gray tensor product of 2-categories and the Crans tensor product of Gray categories are exhibited as existing within our framework, and in an explicit construction of the funny tensor product of categories is generalised to a large class of Batanin operads.

연구 동기 및 목표

• 강화 그래프 상의 다중텐서와 모나드 이론을 통합함으로써, 고차 범주론의 맥락에서 이들의 관계를 명확히 하기.
• 고차 범주론에서의 텐서곱(예: 그레이와 크란스 곱)을 이해하기 위한 개념적 기초를 제공하기.
• 바타닌의 작동들에 대한 넓은 범위의 일반화를 통해 '재미있는 텐서곱' 구성법을 모나드 프레임워크를 통해 일반화하기.
• 다중텐서로부터 유도된 모나드를 특성화하고, 다중텐서와 모나드의 구조 사이에 2-함수적 대응관계를 수립하기.
• 클래식한 분배 법칙 이론을 다중텐서와 모나드의 맥락으로 확장하여, 엄격한 $n$-범주 모나드의 새로운 구성법을 가능하게 하기.

제안 방법

• 논문은 범주 $V$ 상의 분배 가능한 다중텐서 $E$ 에 대해, $V$-강화 그래프의 범주 $\mathcal{G}V$ 상의 모나드 $\Gamma E$ 를 부여하는 2-함수자 $\Gamma$ 를 구성한다.
• 분배 가능한 $E$ 에 대해 모나드 $\Gamma E$ 가 카르테시안이면서 국소적으로 오른쪽 수반임을 증명함으로써, $E$ 의 구조적 성질이 $\Gamma E$ 의 성질과 연결됨을 보인다.
• 다중텐서 $E$ 가 쌍대합과 필터링된 합을 보존함을 이용하여 $\Gamma E$ 가 잘 정의되고 너스 정리가 성립함을 보장한다.
• 다중텐서와 모나드 사이에 2-함수적 대응관계를 수립함으로써, $\Gamma$ 가 완전 충실하고 형식적 모나드 이론과 호환됨을 보여준다.
• 모나드와 다중텐서 사이의 일반화된 분배 법칙의 개념을 도입하여, 베크의 고전적 이론을 이 강화된 맥락으로 확장한다.
• 이 프레임워크를 사용해 반복적 강화를 통해 엄격한 $n$-범주 모나드를 구성하고, 귀납적 공식 $\Theta_{n+1} = \Delta \wr \Theta_n$ 을 복원한다.

실험 결과

연구 질문

• RQ1 범주 $V$ 상의 다중텐서를 어떻게 $V$-강화 그래프의 범주 $\mathcal{G}V$ 상의 모나드와 체계적으로 연결할 수 있는가?
• RQ2 다중텐서 $E$ 가 어떤 구조적 조건을 만족할 경우, 유도된 모나드 $\Gamma E$ 가 카르테시안성 또는 국소적으로 오른쪽 수반성과 같은 바람직한 성질을 유지하는가?
• RQ3 모나드와 다중텐서가 서로 분배 가능하다는 것은 어떤 의미이며, 이는 베크의 분배 법칙 이론을 어떻게 일반화하는가?
• RQ4 이 프레임워크를 통해 범주론적 '재미있는 텐서곱' 구성법을 바타닌의 작동들에 대한 넓은 범위로 일반화할 수 있는가?
• RQ5 엄격한 $n$-범주 모나드는 이 다중텐서-모나드 대응관계를 통해 재구성될 수 있으며, 기존의 귀납적 공식을 복원하는가?

주요 결과

• 구성 $\Gamma E$ 는 $V$ 상의 분배 가능한 다중텐서 $E$ 에 대해 $\mathcal{G}V$ 상의 모나드 $\Gamma E$ 를 할당하며, 그 대수들은 정확히 $E$-범주이다.
• 다중텐서 $E$ 가 분배 가능하면 모나드 $\Gamma E$ 는 카르테시안이며, $E$ 가 필터링된 합을 보존하면 국소적으로 오른쪽 수반이다.
• $E \mapsto \Gamma E$ 의 할당은 완전 충실하고 2-함수적이며, 다중텐서와 모나드 사이에 개념적 다리를 놓는다.
• 이 프레임워크는 그레이와 크란스 텐서곱을 특수한 경우로 포함하여 고차 범주론에서 이들의 통합적 다루움을 가능하게 한다.
• 이 구성은 '재미있는 텐서곱'을 바타닌의 작동들에 대한 넓은 범위로 일반화하여, 이러한 구조에 대한 체계적인 모나드 기반을 제공한다.
• 논문은 다중텐서-모나드 프레임워크 내에서 랩프로덕트 구성법을 통해 엄격한 $n$-범주 모나드에 대한 귀납적 공식 $\Theta_{n+1} = \Delta \wr \Theta_n$ 을 복원한다.