[논문 리뷰] Monads on dagger categories

Christiaan Heunen, Martti Karvonen|Edinburgh Research Explorer (University of Edinburgh)|2016. 02. 13.

Homotopy and Cohomology in Algebraic Topology인용 수 15

한 줄 요약

이 논문은 단사적 구조를 갖는 카테고리—항등 함수를 유지하는 반대함수를 갖는 카테고리—에서 모나드 이론을 개발한다. 이때 모나드와 그에 수반된 수반관계는 단사적 구조를 유지하고 프로베누스 법칙을 만족시킨다. 주요 기여는 이러한 모나드가 수반관계를 통해 분해되며, 극한 해로는 클라이슬리 및 프로베누스-에일린버그-무어 카테고리가 주어지며, 이 둘 모두가 단사적 구조를 상속받는다는 것이다. 또한 강한 모나드는 프로베누스 모노이드로부터 유도된다는 것이 입증된다.

ABSTRACT

The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when everything respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and its algebras should satisfy the so-called Frobenius law. Then any monad resolves as an adjunction, with extremal solutions given by the categories of Kleisli and Frobenius-Eilenberg-Moore algebras, which again have a dagger. We characterize the Frobenius law as a coherence property between dagger and closure, and characterize strong such monads as being induced by Frobenius monoids.

연구 동기 및 목표

• 모나드의 모든 구조가 단사적 구조를 존중하는 단사적 카테고리에서 일관된 이론을 개발한다.
• 단사적 카테고리에서의 모나드가 수반 기반 분해를 허용하는 조건을 규명한다.
• 강한 모나드가 프로베누스 모노이드로부터 유도됨을 특성화한다.
• 이러한 모나드의 클라이슬리 및 프로베누스-에일린버그-무어 카테고리가 단사적 구조를 상속받는다는 것을 보여준다.
• 프로베누스 법칙을 단사적 구조와 닫힘 구조 사이의 일관성 조건으로 설정한다.

제안 방법

• 단사적 구조와 모나드 구조 사이의 일관성 조건으로서 프로베누스 법칙을 도입하며, 단사적 그림 기호 계산법을 사용해 표현한다.
• 단사적 구조를 유지하는 모나드와 수반관계를 정의하여 단사적 구조와의 호환성을 확보한다.
• 단사적 모나드에 대한 수반관계의 극한 해로 프로베누스-에일린버그-무어 카테고리와 클라이슬리 카테고리를 특성화한다.
• 강한 모나드가 프로베누스 모노이드로부터 범주론적 구성에 의해 동치임을 보여준다.
• 그림 기반 추론과 일관성 정리들을 사용하여, 표준 사상 $ i: A \to A^* $ 가 호환적임을 보이고, 케일리 임베딩이 호환적임을 증명한다.
• 클라이슬리 및 에일린버그-무어 카테고리의 단사적 구조가 기저 카테고리의 단사적 구조와 모나드의 프로베누스 성질로부터 유도됨을 확립한다.

실험 결과

연구 질문

• RQ1 단사적 카테고리에서의 모나드가 단사적 구조를 유지하고 수반 기반 분해를 허용하기 위한 조건은 무엇인가?
• RQ2 프로베누스 법칙은 단사적 카테고리에서 단사적 구조와 모나드 구조 사이의 일관성 조건으로서 어떻게 작용하는가?
• RQ3 강한 모나드의 범주론적 특성은 무엇인가?
• RQ4 모나드가 프로베누스 법칙을 만족할 경우 클라이슬리 및 에일린버그-무어 카테고리가 어떻게 단사적 구조를 상속받는가?
• RQ5 표준 사상 $ i: A \to A^* $ 가 호환적임은 언제이고, 케일리 임베딩이 호환적임은 언제인가?

주요 결과

• 단사적 구조를 유지하고 프로베누스 법칙을 만족하는 단사적 카테고리의 모나드는 수반관계를 통해 분해되며, 극한 해로 클라이슬리 및 프로베누스-에일린버그-무어 카테고리가 주어진다.
• 단사적 프로베누스 모나드의 클라이슬리 및 프로베누스-에일린버그-무어 카테고리는 단사적 구조를 상속받아 단사적 카테고리가 된다.
• 강한 모나드는 정확히 프로베누스 모노이드로부터 유도된 것으로, 이는 범주론적 동치를 설정한다.
• 프로베누스 조건 하에서 표준 사상 $ i: A \to A^* $ 는 호환적임을 보이며, 즉 $ i_* \circ i = \mathrm{id}_A $ 이다.
• 표준 케일리 임베딩은 $ i \circ R = R_* \circ i $ 를 만족하며, 이는 모나드가 프로베누스일 경우 호환적임을 보여준다.
• 프로베누스 법칙은 단사적 구조와 닫힘 구조 사이의 일관성 조건으로 특성화되며, 이는 이중성과 모나드 구조의 호환성을 보장한다.