[논문 리뷰] Tensors, monads and actions

Gavin J. Seal|arXiv (Cornell University)|2012. 05. 01.

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

한 줄 요약

이 논문은 단순 카테고리 $\mathsf{C}$ 위의 모나드 $\mathbb{T}$가 Eilenberg–Moore 카테고리 $\mathsf{C}^\mathbb{T}$에 모나드 구조를 유도할 수 있는 충분한 조건을 확립한다. 이로 인해 $\mathsf{C}^\mathbb{T}$ 내의 작용 카테고리가 $\mathsf{C}$ 위에서 모나딕이 될 수 있다. 주요 결과는 잊어버림 함자 $(\mathsf{C}^\mathbb{T})^{M} \to \mathsf{C}^\mathbb{T} \to \mathsf{C}$가 모나딕임을 보여주며, 이는 고전적인 예인 링 위의 가군과 양측량 쿼런티일 위의 작용을 일반화한다.

ABSTRACT

We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg--Moore category C^T that represents bimorphisms. The category of actions in C^T is then shown to be monadic over the base category C.

연구 동기 및 목표

• 모나드 $\mathbb{T}$가 기저 카테고리 $\mathsf{C}$ 위에서 작용하는 이중형사상(bimorphisms)을 포괄할 수 있도록 Eilenberg–Moore 카테고리 $\mathsf{C}^\mathbb{T}$에 모나드 구조를 유도할 수 있는 조건을 확립하는 것.
• 모나드 Eilenberg–Moore 카테고리 내의 작용 카테고리가 기저 카테고리 $\mathsf{C}$ 위에서 모나딕임을 보이는 것.
• 고전적인 예인 링 위의 가군과 양측량 쿼런티 위의 작용을 범주론적 프레임워크로 일반화하는 것.
• 기저 카테고리에 대해 유도된 텐서 구조가 존재하기 위한 검증 가능한 조건을 제공하여, 닫힘성 또는 대칭성에 의존하지 않는 것.

제안 방법

• 자기 동치(coequalizer) 구성법을 통해 $\mathsf{C}^\mathbb{T}$ 위에 텐서 $\boxtimes$를 정의하여 결합법칙과 항등원 조건을 보장한다.
• 반복적 자동차(coequalizer)를 사용하여 자유 대수의 텐서 곱을 $\mathsf{C}$ 내의 텐서의 자유 대수로 표현함으로써 결합법칙을 증명하는 데 핵심적인 역할을 한다.
• 모나드 준동형 $\mathbb{S} \to \mathbb{T}$가 $\mathsf{C}^\mathbb{T} \to \mathsf{C}^\mathbb{S}$로의 모나드 함자를 유도함을 보이며, 모나드 구조를 유지한다.
• 이중형사상 이론과 대수적 함자를 적용하여, 함자 $\mathsf{C}^{(M,\mathbb{T})} \to \mathsf{C}$가 모나딕임을 증명한다.
• 모노이드 준동형으로 유도되는 모나드 준동형을 통해 모듈러 카테고리 간의 스칼라 제한 함자가 대수적임을 보인다.
• 아벨 군과 상한 준순서집합과 같은 예를 통해 조건을 검증하며, 기존의 고전적 구성과의 호환성을 보여준다.

실험 결과

연구 질문

• RQ1 기저 카테고리 $\mathsf{C}$ 위의 모나드 $\mathbb{T}$가 Eilenberg–Moore 카테고리 $\mathsf{C}^\mathbb{T}$에 모나드 구조를 유도할 수 있는 조건은 무엇인가?
• RQ2 모나드 Eilenberg–Moore 카테고리 $\mathsf{C}^\mathbb{T}$ 내의 작용 카테고리가 기저 카테고리 $\mathsf{C}$ 위에서 모나딕일 조건은 무엇인가?
• RQ3 기저 카테고리의 닫힘성 또는 대칭성을 가정하지 않고도 $\mathsf{C}^\mathbb{T}$에 모나드 구조를 구성할 수 있는가?
• RQ4 모나드 준동형 $\mathbb{S} \to \mathbb{T}$는 작용 카테고리 간의 함수와 어떻게 관련이 있는가?
• RQ5 $\mathsf{C}^{(M,\mathbb{T})}$에서 $\mathsf{C}$로의 忘却 함자가 모나딕이 되도록 보장하는 조건은 무엇인가?

주요 결과

• Eilenberg–Moore 카테고리 $\mathsf{C}^\mathbb{T}$는 모나드 $\mathbb{T}$로부터 유도된 텐서 구조 $\boxtimes$를 상속받으며, 이는 이중형사상을 표현하는 데 적합하다.
• 텐서 곱 $\mathsf{C}^\mathbb{T}$는 반복 자동차와 자유 대수 성질을 통해 결합법칙과 항등원 조건을 만족함을 증명하였다.
• 작용 카테고리 $\mathsf{C}^{(M,\mathbb{T})}$는 기저 카테고리 $\mathsf{C}$ 위에서 모나딕이며, 가군과 쿼런티 작용의 모나딕성 일반화를 이룬다.
• 함자 $\mathsf{C}^{(M,\mathbb{T})} \to \mathsf{C}$는 모나딕이며, 이는 $M$이 $\mathsf{C}^\mathbb{T}$ 위에서 작용하는 것으로 유도된 모나드에 의해 결정된다.
• 모듈러 카테고리 간의 스칼라 제한 함자는 모노이드 준동형으로 유도되는 모나드 준동형에 의해 대수적임을 보였다.
• 기존의 고전적 예에서 검증된 결과: $\mathsf{AbGrp}$은 $\mathsf{Set}^\mathbb{A}$로, $\mathsf{Sup}$는 $\mathsf{Set}^\mathbb{P}$로 표현되며, 기존의 알려진 모나드 구조와 호환됨을 보였다.