[论文解读] $\infty$-Operads as Analytic Monads

David Gepner, Rune Haugseng+1 more|arXiv (Cornell University)|Dec 18, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 42被引用 9

一句话总结

本文通過證明∞-operads與解析單子（analytic monads）等價，建立了一種∞-operads的新模型——即那些笛卡爾單子，且保持小合併與弱可縮極限的單子。作者利用多項式函子與初始代數的∞-範疇工具，證明了解析單子的∞-範疇與樹狀塞加爾空間（dendroidal Segal spaces）的∞-範疇等價，而後者是∞-operads的一個成熟模型，從而透過其自由代數單子表徵了∞-operads。

ABSTRACT

We develop an $\infty$-categorical version of the classical theory of polynomial and analytic functors, initial algebras, and free monads. Using this machinery, we provide a new model for $\infty$-operads, namely $\infty$-operads as analytic monads. We justify this definition by proving that the $\infty$-category of analytic monads is equivalent to that of dendroidal Segal spaces, known to be equivalent to the other existing models for $\infty$-operads.

研究动机与目标

• 發展多項式與解析函子、初始代數及自由單子的∞-範疇理論。
• 基於在同倫意義上精確定義的解析單子，提供∞-operads的新模型。
• 證明解析單子的∞-範疇與樹狀塞加爾空間的∞-範疇等價，而後者是∞-operads的標準模型。
• 證明∞-operads恰好可表徵為相對於對稱單子的笛卡爾解析單子。
• 將經典的Joyal結果（關於集合中運算的結果）推廣至∞-範疇設定。

提出的方法

• 發展以空間的跨度定義的端函子形式的∞-範疇多項式函子理論。
• 將解析函子定義為保持小合併與廣義拉回的多項式函子。
• 使用Lambek引理的同倫版本，構造解析端函子的初始代數。
• 將自由單子構造為解析端函子的初始代數，並以樹的形式給出明確描述。
• 運用(∞,2)-範疇中伴隨變換與弱變換的理論，連結單子與伴隨關係，並建立等價性。
• 透過自由單子的普遍性與對稱序列的結構，建立解析單子與樹狀塞加爾空間之間的等價。

实验结果

研究问题

• RQ1 ∞-operads能否以具備特定同倫性質的單子等價描述？
• RQ2 經典多項式與解析函子理論在∞-範疇中的類比為何？
• RQ3 如何在∞-範疇設定中，利用初始代數構造自由單子？
• RQ4 哪些單子可被表徵為∞-operads的自由單子？
• RQ5 解析單子的∞-範疇與標準∞-operads模型（透過樹狀塞加爾空間）之間是否存在精確等價？

主要发现

• 解析單子的∞-範疇與樹狀塞加爾空間的∞-範疇等價，而後者是∞-operads的成熟模型。
• ∞-operad與其自由代數單子等價，且此單子為解析單子——即笛卡爾單子，並保持小合併與弱可縮極限。
• 解析函子上的單子結構自然源自其底層對稱序列上的運算結構。
• 解析端函子的自由單子被構造為該端函子的初始代數，並以樹的形式給出明確描述。
• 對稱單子Sym，定義為Sym(X) ≃ ∐ₙ Xⁿ/ₕΣₙ，作為解析單子的基底單子，而相對於Sym的笛卡爾性質精確表徵了∞-operads。
• 解析單子與樹狀塞加爾空間之間的等價性，透過自由單子的普遍性與(∞,2)-範疇中伴隨變換理論建立。