[논문 리뷰] $\infty$-Operads as Analytic Monads

David Gepner, Rune Haugseng외 1명|arXiv (Cornell University)|2017. 12. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 42인용 수 9

한 줄 요약

이 논문은 ∞-항등식이 분석적 모나드—카르테시안이면서 여유 있는 쌍대극한과 약하게 수축 가능한 극한을 보존하는 모나드—와 동치임을 보여줌으로써 ∞-항등식의 새로운 모델을 수립한다. 다항 함수와 초기 대수의 ∞-범주적 기법을 사용하여, 저자들은 ∞-분석적 모나드의 범주가 잘 알려진 ∞-항등식의 모델인 덴드로이드럴 세갈 공간의 범주와 동치임을 증명함으로써, ∞-항등식을 그 자유 대수 모나드로 특성화한다.

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.

연구 동기 및 목표

• 다항 및 분석적 함수, 초깃대수, 자유 모나드의 ∞-범주론적 이론을 개발한다.
• 정확한 호모토피적 의미에서 분석적임이 입증된 모나드를 기반으로 ∞-항등식의 새로운 모델을 제공한다.
• ∞-분석적 모나드의 범주가 ∞-항등식의 표준 모델인 덴드로이드럴 세갈 공간의 범주와 동치임을 증명한다.
• ∞-항등식은 정확히 대칭 모나드 위에서 카르테시안인 분석적 모나드로 특성화됨을 보인다.
• 집합 위의 전통적 조일 결과를 ∞-범주론적 환경으로 일반화한다.

제안 방법

• 공간의 스파인을 통해 정의된 스파인의 엔도함수로서 ∞-범주론적 다항 함수 이론을 개발한다.
• 여유 있는 쌍대극한과 넓은 당김을 보존하는 다항 함수를 분석적 함수로 정의한다.
• 람벡의 보조정리의 호모토피적 판본을 사용하여 분석적 엔도함수의 초깃대수를 구성한다.
• 분석적 엔도함수의 초깃대수로서 자유 모나드를 구성하며, 이를 트리의 표현으로 명시적으로 기술한다.
• (∞,2)-범주에서의 짝과 릿지 변환 이론을 사용하여 모나드와 수반 관계를 연결하고 동치관계를 수립한다.
• 자유 모나드의 보편 성질과 대칭 수열의 구조를 통해 분석적 모나드와 덴드로이드럴 세갈 공간 사이의 동치관계를 확립한다.

실험 결과

연구 질문

• RQ1 ∞-항등식은 특정 호모토피적 성질을 갖는 모나드로 동치적으로 기술될 수 있는가?
• RQ2 전통적 다항 및 분석적 함수 이론의 ∞-범주론적 대응은 무엇인가?
• RQ3 초깃대수를 사용하여 ∞-범주론적 환경에서 자유 모나드를 어떻게 구성할 수 있는가?
• RQ4 ∞-항등식의 자유 모나드로 나타나는 모나드는 무엇으로 특성화되는가?
• RQ5 분석적 모나드의 ∞-범주와 덴드로이드럴 세갈 공간을 통한 ∞-항등식의 표준 모델 사이에 정확한 동치관계가 존재하는가?

주요 결과

• ∞-분석적 모나드의 범주는 잘 알려진 ∞-항등식의 모델인 덴드로이드럴 세갈 공간의 범주와 동치이다.
• ∞-항등식은 그 자유 대수 모나드와 동치이며, 이 모나드는 분석적—카르테시안이면서 여유 있는 쌍대극한과 약하게 수축 가능한 극한을 보존한다.
• 분석적 함숫값에 대한 모나드 구조는 기본적인 대칭 수열 위의 항등식 구조에서 자연스럽게 유도된다.
• 분석적 엔도함수의 자유 모나드는 엔도함수의 초깃대수로서 구성되며, 트리의 표현으로 명시적으로 기술된다.
• Sym(X) ≃ ∐ₙ Xⁿ/ₕΣₙ로 주어지는 대칭 모나드 Sym은 분석적 모나드가 정의되는 기저 모나드이며, Sym 위에서 카르테시안인 것은 ∞-항등식을 특성화한다.
• 자유 모나드의 보편 성질과 (∞,2)-범주에서의 짝 이론을 통해 분석적 모나드와 덴드로이드럴 세갈 공간 사이의 동치관계가 확립된다.