[논문 리뷰] General Operads and Multicategories

Tom Leinster|ArXiv.org|1998. 10. 08.

Advanced Topics in Algebra참고 문헌 11인용 수 19

한 줄 요약

이 논문은 카르테시안 범주 S에서 모나드 ∗에 대한 대수의 범주에서 범주 대상으로서 (S, ∗)-구조가 붙은 범주를 도입함으로써 단일 범주 이론을 일반화한다. (S, ∗)-다중범주와 (S, ∗)-구조가 붙은 범주 사이에 모나딕 쌍대기능을 확립하며, 고전적 다중범주와 단일 범주 사이의 쌍대기능을 일반화하고, 이 쌍대기능이 모나딕임을 증명함으로써 보편 대수학을 통해 구조가 붙은 범주의 범주론적 프레임워크를 제공한다.

ABSTRACT

Notions of `operad' and `multicategory' abound. This work provides a single framework in which many of these various notions can be expressed. Explicitly: given a monad * on a category S, we define the term `(S,*)-multicategory', subject to certain conditions on S and *. Different choices of S and * give some of the existing notions of operad and multicategory. We then describe the `algebras' for an (S,*)-multicategory and, finally, present a tentative selection of further developments. Our approach makes possible concise descriptions of Baez and Dolan's opetopes and Batanin's operads; both of these are included.

연구 동기 및 목표

• 고전적 경우 (Sets, 자유 모노이드)를 초월하여 임의의 카르테시안 범주 (S, ∗)로 단일 범주를 일반화하는 것.
• S()∗, 즉 S에서 모나드 ∗에 대한 대수의 범주에서 (S, ∗)-구조가 붙은 범주를 ∗-대수의 범주에서의 범주 대상으로 정의하는 것.
• (S, ∗)-다중범주와 (S, ∗)-구조가 붙은 범주 사이에 모나딕 쌍대기능을 확립하는 것.
• (S, ∗)-구조가 붙은 범주에서 (S, ∗)-다중범주로의 忘어진 함자(functor)가 모나딕 쌍대기능의 일부임을 보이는 것.
• 보편 대수학과 다중범주 이론을 통해 구조가 붙은 범주를 위한 범주론적 프레임워크를 제공하는 것.

제안 방법

• (S, ∗)-구조가 붙은 범주를 S()∗, id)-다중범주로 정의한다. 즉, ∗-대수의 범주에서의 범주 대상으로서 정의한다.
• S에서의 모나드 ∗를 이용해 S-Cat에서의 모나드를 유도하고, (S, ∗)-구조가 붙은 범주를 이 모나드에 대한 대수로 정의한다.
• (S, ∗)-다중범주와 (S, ∗)-구조가 붙은 범주 사이에 자유 함자 F와 忘어진 함자 U를 구성한다.
• 기본 자연 변환 ϕ와 ψ를 사용하여 F ⊣ U의 쌍대기능을 확립하며, P ⊣ Q를 일반 함자로 간주한다.
• 모나딕성 정리( monadicity theorem )를 사용하여 쌍대기능이 모나딕임을 검증한다.
• (S, ∗) = (Sets, 자유 모노이드)인 경우에 이 구성 적용하여 고전적 다중범주와 단일 범주 사이의 쌍대기능을 복원한다.

실험 결과

연구 질문

• RQ1 카르테시안 범주 (S, ∗)에 대해 (Sets, 자유 모노이드)의 경우를 초월하여 어떻게 단일 범주를 일반화할 수 있는가?
• RQ2 단일 범주를 일반화하는 데 적절한 (S, ∗)-구조가 붙은 범주의 범주론적 정의는 무엇인가?
• RQ3 (S, ∗)-다중범주와 (S, ∗)-구조가 붙은 범주 사이에 모나딕 쌍대기능이 존재하는가?
• RQ4 이 두 범주 사이의 자유 함자와 忘어진 함자의 행동은 어떻게 되며, 그들의 보편 성질은 무엇인가?
• RQ5 (S, ∗)-다중범주와 (S, ∗)-구조가 붙은 범주 사이의 쌍대기능이 모나딕이 되기 위한 조건은 무엇인가?

주요 결과

• (S, ∗)-다중범주와 (S, ∗)-구조가 붙은 범주 사이에 임의의 카르테시안 범주 (S, ∗)에 대해 모나딕 쌍대기능이 구성된다.
• 이 쌍대기능은 모나딕이며, 이는 (S, ∗)-구조가 붙은 범주가 자유-잊혀진 쌍대기능에 의해 유도된 모나드에 대한 대수들과 동치임을 의미한다.
• (S, ∗)-구조가 붙은 범주에서 (S, ∗)-다중범주로의 忘어진 함자는 충실하지만 전사적이지 않으며, 이는 두 구조 간의 엄격한 범주론적 차이를 나타낸다.
• 이 구성은 고전적 다중범주와 단일 범주 사이의 쌍대기능을 일반화하며, (S, ∗) = (Sets, 자유 모노이드)일 때 이를 복원한다.
• 쌍대기능은 기본 자연 변환 ϕ와 ψ를 사용하여 정의되며, 단위와 쌍대단위가 이들와 적절히 교환되어 일관성을 확보한다.
• 이 프레임워크는 다중범주적 맥락에서 보편 대수학을 통해 구조가 붙은 범주를 통일적으로 다룰 수 있는 범주론적 접근을 제공한다.