[논문 리뷰] Operads, clones, and distributive laws

Pierre-Louis Curien|arXiv (Cornell University)|2012. 05. 14.

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

한 줄 요약

이 논문은 Cat 위의 모나드와 그 프로파일로의 확장을 통해 비대칭 작도, 대칭 작도, 클론을 통합하며, 그것들이 확장된 모나드의 (코)클라이슬리 2-범주에서의 모나드로 나타남을 보여준다. 핵심 기여는 프로파일과 분배 법칙을 이용한 범주론적 프레임워크로, 작도적 구조와 그 변형(예: 코작도, 프로퍼티드)을 체계적으로 포괄한다.

ABSTRACT

We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other previous categorical analyses of operads (via Day's tensor products, or via analytical functors) fit with the profunctor approach.

연구 동기 및 목표

• Cat 위의 모나드를 사용하여 비대칭 작도, 대칭 작도, 클론을 통일된 범주론적 기초로 제공한다.
• 이러한 모나드를 작도의 2-범주로 확장하여 작도적 구조의 통합적 다루기 가능하게 한다.
• 분배 법칙이 프로파일 합성에 의해 작동, 공작동, 이작동의 조합을 어떻게 규명하는지 보여준다.
• 기존의 범주론적 접근(예: Day의 텐서 곱, 분석적 함자)을 프로파일 기반 프레임워크와 연결한다.
• 분배 법칙을 가진 이중 범주 구조를 통해 코작도와 프로퍼티드를 이론적으로 일반화한다.

제안 방법

• 비대칭 작도, 대칭 작도, 클론에 대응하는 Cat 위의 세 개의 모나드를 정의한다.
• 분배 법칙을 사용하여 각 모나드를 범주와 프로파일의 2-범주 위의 편의 모나드로 확장한다.
• 확장된 프로파일 모나드의 (코)클라이슬리 2-범주에서의 모나드로 작도를 표현한다.
• 프로파일을 고정된 아리티와 코아리티를 가진 작동의 가닥으로 모델링하며, 모나드가 입력의 다중성을 제어함을 보여준다.
• 스팬과의 관계를 설정하기 위해 그로텐디크 구성법을 적용하지만, 프로파일 접근법을 우선시한다.
• 이중작동의 조합을 위해 코모나드 ?와 모나드 ! 사이의 분배 법칙을 도입하며, 조합의 연결성을 순열 그래프를 통해 형식화한다.

실험 결과

연구 질문

• RQ1 비대칭 작도, 대칭 작도, 클론은 어떻게 Cat 위의 모나드를 통해 통일적으로 기술할 수 있는가?
• RQ2 프로파일은 스팬을 넘어서 작도의 범주론적 다루기에서 어떤 역할을 하는가?
• RQ3 모나드와 코모나드 사이의 분배 법칙은 어떻게 프로퍼티드의 이작동 조합을 가능하게 하는가?
• RQ4 확장된 프로파일 모나드는 코작도와 프로퍼티드의 구조를 어떻게 포착하는가?
• RQ5 프로파일 접근법은 어떻게 Day의 텐서 곱과 분석적 함자와 같은 이전의 범주론적 프레임워크를 통합하는가?

주요 결과

• 비대칭 작도, 대칭 작도, 클론은 프로파일로 확장된 모나드의 (코)클라이슬리 2-범주에서의 모나드로 나타난다.
• 스팬보다 프로파일 접근법이 작도적 구조의 변형을 더 정교하고 융통성 있게 포착하는 데에 더 유리하다.
• ? 코모나드와 ! 모나드 사이의 분배 법칙은 프로퍼티드의 이작동 조합을 가능하게 하며, 연결성 조건은 순열의 그래프를 통해 형식화된다.
• X = {σ}일 때, Vect 위의 결과 구조는 Vallette의 프로퍼티드 정의와 동형이 되며, 이는 프레임워크가 기존 정의와 일관됨을 확인한다.
• 이 프레임워크는 Day의 텐서 곱이나 분석적 함자 등을 포함한 이전의 범주론적 기초를 프로파일과 모나드 확장 프레임워크 내에 통합함으로써 일반화된다.
• 프로파일의 사용은 작동과 공작동을 체계적으로 다룰 수 있게 하며, 모나드는 입력/출력의 다중성을 제어하고, 분배 법칙은 조합을 제어한다.