[논문 리뷰] Operads as polynomial 2-monads

Mark Weber|arXiv (Cornell University)|2014. 12. 24.

Advanced Topics in Algebra참고 문헌 31인용 수 14

한 줄 요약

이 논문은 임의의 작도에서 다항 2-모나드의 새로운 구성법을 제안하며, 이 2-모나드의 대수들은 작도의 엄격한 대수 대신 분류화된 대수들에 대응한다. 표준적인 모나드 구성법과 달리, 이 방법은 Σ-자유성 조건을 필요로 하지 않으며, 다항 2-모나드를 통해 작도, Cat-작도, 클럽을 통합하는 자연스러운 프레임워크를 수립한다. 작도가 Σ-자유일 경우, 새로운 2-모나드의 엄격한 대수들과 표준 2-모나드의 엄격한 대수들 사이에 쿠일렌 동치가 존재한다.

ABSTRACT

In this article we give a construction of a polynomial 2-monad from an operad and describe the algebras of the 2-monads which then arise. This construction is different from the standard construction of a monad from an operad in that the algebras of our associated 2-monad are the categorified algebras of the original operad. Moreover it enables us to characterise operads as categorical polynomial monads in a canonical way. This point of view reveals categorical polynomial monads as a unifying environment for operads, Cat-operads and clubs. We recover the standard construction of a monad from an operad in a 2-categorical way from our associated 2-monad as a coidentifier of 2-monads, and understand the algebras of both as weak morphisms of operads into a Cat-operad of categories. Algebras of operads within general symmetric monoidal categories arise from our new associated 2-monad in a canonical way. When the operad is sigma-free, we establish a Quillen equivalence, with respect to the model structures on algebras of 2-monads found by Lack, between the strict algebras of our associated 2-monad, and those of the standard one.

연구 동기 및 목표

• 모든 작도로부터 Σ-자유성에 관계없이 독립적인 다항 2-모나드의 새로운 구성법을 제공한다.
• 이 2-모나드의 대수들이 원래 작도의 분류화된 대수들로 특성화됨을 밝힌다.
• 다항 모나드의 프레임워크 내에서 작도, Cat-작도, 클럽을 통합한다.
• 2-범주론적 환경에서 코정체화를 통해 새로운 2-모나드로부터 표준 2-모나드 구성법을 복원한다.
• 작도가 Σ-자유일 경우, 새로운 2-모나드의 엄격한 대수들과 표준 2-모나드의 엄격한 대수들 사이에 쿠일렌 동치를 확립한다.

제안 방법

• 2-범주론적 보편성과 Cat 내 다항 함자를 활용하여, 작도 T로부터 Cat/I 위의 다항 2-모나드를 구성한다.
• 다이어그램 I ← E → B → I를 통해 2-모나드를 정의하며, 중간 함자는 지수화 가능해야 하며, 이는 이중범주 Poly_Cat 내의 다항식으로서 형성된다.
• 2-자연변환의 코정체화를 통해 모나드 구조를 정의하며, 구조 함자의 가족성 및 코가족성 성질을 통해 분리 및 쌍대분리와의 호환성을 확보한다.
• 새로운 2-모나드의 대수들이 작도의 약한 준동형사상들(weak morphisms)이 Cat-작도의 범주들로 가는 것과 정확히 일치함을 보이며, 대칭 모나드 범주에서의 대수들을 일반화한다.
• 작도 T가 Σ-자유일 경우, 2-모나드의 대수들에 대한 라크의 모델 구조를 활용하여, 새로운 2-모나드의 엄격한 대수의 모델 범주와 표준 2-모나드의 엄격한 대수의 모델 범주 사이에 쿠일렌 동치를 확립한다.
• 이 구성법을 적용하여, 2차원 모나드 이론에서 개발된 보편 성질을 통해 작도의 프로프(PROP)를 복원한다.

실험 결과

연구 질문

• RQ1 어떻게 작도로부터 분류화된 대수들을 엄격한 대수로 포착하는 다항 2-모나드를 구성할 수 있는가?
• RQ2 이 새로운 2-모나드가 다항 모나드의 프레임워크 내에서 작도, Cat-작도, 클럽을 어떻게 통합하는가?
• RQ3 어떻게 2-범주론적 코정체화를 통해 이 새로운 2-모나드로부터 표준적인 모나드 구성법을 복원할 수 있는가?
• RQ4 작도가 Σ-자유일 경우, 새로운 2-모나드의 엄격한 대수들과 표준 2-모나드의 엄격한 대수들 사이의 관계는 어떠한가?
• RQ5 어떤 대칭 모나드 범주에서의 작도 대수들은 이 새로운 2-모나드를 통해 어떻게 자연스럽게 기술될 수 있는가?

주요 결과

• 작도 T에 대응하는 새로운 2-모나드의 대수들은 정확히 T의 분류화된 대수들이다. 예를 들어, T가 최종 작도 Com일 경우, 이는 대칭 모나드 범주이다.
• 최종 작도 Com에 대해, 새로운 2-모나드의 엄격한 대수는 대칭 엄격 모나드 범주이며, 표준 2-모나드 T/Σ의 엄격한 대수는 Cat 내의 교환 모나드이다.
• 작도 T가 Σ-자유일 경우, 새로운 2-모나드의 엄격한 대수의 모델 범주와 표준 2-모나드 T/Σ의 엄격한 대수의 모델 범주 사이에 쿠일렌 동치가 존재한다.
• 이 새로운 2-모나드 구성법은 2-범주론적 환경에서 2-모나드의 코정체자로서 표준 모나드 T/Σ를 복원하며, 고전적 구성법에 대한 새로운 시각을 제공한다.
• 어떤 대칭 모나드 범주에서의 작도 대수들은 이 새로운 2-모나드를 통해 약한 준동형사상들에 의한 Cat-작도의 범주로 자연스럽게 유도된다.
• 이 구성법은 작도, Cat-작도, 클럽이 모두 자연스럽게 범주론적 다항 모나드로 통합됨을 보여주며, 통합적 프레임워크를 드러낸다.