[논문 리뷰] A reference for categorical structures on $\mathbf{Poly}$

David I. Spivak|arXiv (Cornell University)|2022. 02. 01.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 Poly 카테고리에서 다항형(functor)에 대한 범주론적 기초를 구축하며, 코프리미티브 코모나드 함자 c를 통해 자유 모노이드 구성과 릿지 모노이드 구조를 도입한다. 주요 동치관계로는 $\mathfrak{c}_p \cong (p \triangleleft \mathfrak{c}_p) \times \mathcal{y}$ 및 $\mathcal{y} + (p \triangleleft \mathfrak{m}_p) \cong \mathfrak{m}_p$를 증명하여, 다항형에 대한 자유 $\triangleleft$-모노이드가 유계(inductive) 시스템의 코일리미트(colimit)임을 보이며, 모든 구조 사상이 카르테시안임을 보여준다.

ABSTRACT

In this document, we collect a list of categorical structures on the category $\mathbf{Poly}$ of polynomial functors. There is no implied claim that this list is in any way complete. It includes: infinitely many monoidal structures, all but one of which is symmetric, closed, and distributes over $+$, several of which interact duoidally; it also includes a right-coclosure and two indexed left coclosures; it also includes various adjunctions of which $\mathbf{Poly}$ is a part, including the free monad and cofree comonad and their interaction with various monoidal structures.

연구 동기 및 목표

• 다항형의 카테고리인 Poly에서 범주론적 구조를 체계화하기 위해.
• 다항형에 대한 자유 $\triangleleft$-모노이드(자유 모나드) 구성법을 정의하고 분석하기 위해.
• 코프리미티브 코모나드 함자 $\mathfrak{c}$ 및 자유 모노이드 $\mathfrak{m}_p$를 포함한 자연 동치관계를 수립하기 위해.
• 이러한 구성이 코일리미트와 카르테시안 사상 하에서 어떻게 행동하는지 특성화하기 위해.
• Poly에서 릿지 모노이드 및 코모노이드 구조를 이해하기 위한 체계적 프레임워크를 제공하기 위해.

제안 방법

• 자연수 순서형 인덱스 시스템 $q_\alpha$ 상에서 자유 $\triangleleft$-모노이드 $\mathfrak{m}_p$를 코일리미트로 구성한다.
• $q_\alpha$를 귀납적으로 정의: $q_0 = \mathcal{y}$, $q_{\alpha+1} = \mathcal{y} + (q \triangleleft q_\alpha)$, 그리고 극한 순서수에 대해 $q_\beta = \operatorname{colim}_{\alpha<\beta} q_\alpha$.
• 자연 사상 $g_\alpha: q_\alpha \to q_{\alpha+1}$를 귀납적으로 정의: $g_0 = \text{incl}$, $g_{\alpha+1} = \mathcal{y} + (q \triangleleft g_\alpha)$.
• 모든 사상 $g_\alpha$가 카르테시안임을 보이며, 이는 Poly의 범주론적 구조와의 호환성을 보장한다.
• 주요 구조적 항등식으로서 $\mathcal{y} + (p \triangleleft \mathfrak{m}_p) \cong \mathfrak{m}_p$를 수립한다.
• $\mathfrak{m}_p \triangleleft X \cong \mathfrak{m}_{p+X} \triangleleft 0$를 임의의 집합 $X$에 대해 증명하여, 자유 대수와 다항형 확장 간의 연결 고리를 밝힌다.

실험 결과

연구 질문

• RQ1 Poly에서 다항형에 대한 자유 $\triangleleft$-모노이드 구성은 어떻게 체계적으로 정의될 수 있는가?
• RQ2 코프리미티브 코모나드 함자 $\mathfrak{c}$의 범주론적 구조는 무엇이며, 모노이드 연산과 어떻게 상호작용하는가?
• RQ3 코일리미트와 순서형 인덱스 유계 시스템은 Poly에서 자유 모노이드를 구성하는 데 어떤 역할을 하는가?
• RQ4 동치관계 $\mathfrak{c}_p \cong (p \triangleleft \mathfrak{c}_p) \times \mathcal{y}$ 및 $\mathcal{y} + (p \triangleleft \mathfrak{m}_p) \cong \mathfrak{m}_p$는 어떻게 범주론적으로 유도되는가?
• RQ5 $\mathfrak{m}_p \triangleleft X$와 $\mathfrak{m}_{p+X} \triangleleft 0$ 사이의 관계는 자유 대수 측면에서 어떻게 설명될 수 있는가?

주요 결과

• 다항형 $p$에 대한 자유 $\triangleleft$-모노이드 $\mathfrak{m}_p$는 $q_0 = \mathcal{y}$ 및 $q_{\alpha+1} = \mathcal{y} + (q \triangleleft q_\alpha)$를 만족하는 순서형 인덱스 유계 시스템의 코일리미트로 구성된다.
• 유계 시스템 내 전이 사상 $g_\alpha: q_\alpha \to q_{\alpha+1}$는 모두 카르테시안이며, 이는 Poly의 범주론적 구조와의 호환성을 보장한다.
• 동치관계 $\mathcal{y} + (p \triangleleft \mathfrak{m}_p) \cong \mathfrak{m}_p$가 성립하며, 이는 $\mathfrak{m}_p$가 함자 $X \mapsto \mathcal{y} + (p \triangleleft X)$에 대한 초기 대수임을 특성화한다.
• 코프리미티브 코모나드 함자 $\mathfrak{c}$는 $\mathfrak{c}_p \cong (p \triangleleft \mathfrak{c}_p) \times \mathcal{y}$를 만족하며, 이는 그 코모노이드 성격을 반영한다.
• $\mathfrak{m}_p \triangleleft X \cong \mathfrak{m}_{p+X} \triangleleft 0$에 대한 자연적 전단사 사상이 존재하여, 집합 $X$에 대한 자유 $p$-대수와 공집합에 대한 자유 $(p+X)$-대수가 서로 동치임을 보여준다.
• $\mathfrak{c}: \mathbf{Poly} \to \mathbf{Poly}$는 $(\mathbin{\triangleleft}, \otimes)$ 구조에 대해 릿지 모노이드이며, 자연스러운 코모노이드 준동형사상 $\mathfrak{c}_{[p,q]} \otimes \mathfrak{c}_{[p',q']} \to \mathfrak{c}_{[p+p', q+q']}$를 갖는다.