[논문 리뷰] A cottage industry of lax extensions

Dirk Hofmann, Gavin J. Seal|arXiv (Cornell University)|2015. 07. 29.

Advanced Algebra and Logic참고 문헌 10인용 수 12

한 줄 요약

이 논문은 V-멱집합 모나드 PV 아래의 Set 기반 모나드의 콤마 범주와 이러한 모나드의 V-관계로의 연관 릿지스터 확장 범주 사이의 축합을 수립한다. 이는 단위 (T,V)-관계를 포함하는 보편 성질을 통해 모나드를 V-관계로 확장하는 클라이슬리 확장의 구성과 함께, 이러한 확장을 갖는 모나드에 대한 릿지스터 대수의 범주가 T-모노이드의 범주와 동형임을 보여준다. 핵심 기여는 동형인 릿지스터 대수 범주를 갖는 모나드의 가족에 대해 그 표준 대표자를 식별하는 반사적 부분범주 포함을 제공한다.

ABSTRACT

In this work, we describe an adjunction between the comma category of SET-based monads under the V-powerset monad and the category of associative lax extensions of SET-based monads to the category of V-relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.

연구 동기 및 목표

• 양량체 V에 대해 Set 기반 모나드의 V-관계로의 일반적인 릿지스터 확장 프레임워크를 체계화하는 것.
• 동형인 릿지스터 대수 범주를 갖는 모나드의 비유일성을 해결하기 위해 축합을 통해 표준 대표자를 식별하는 것.
• 단위 (T,V)-관계를 포함하는 보편 성질을 이용해 모나드를 V-관계로 확장하는 클라이슬리 확장을 구성하는 것.
• 연결 릿지스터 확장이 있는 모나드에 대한 릿지스터 대수의 범주가 T-모노이드의 범주와 동형임을 보여주는 것.
• 콤마 범주 (PV ↓ MndSet)가 수렴 모나드의 범주 (V-LaxExt) 안에 전체 반사 부분범주로 포함됨을 수립하여, 각 동형 클래스에 대한 표준 선택을 제공하는 것.

제안 방법

• V-멱집합 모나드 PV를 기반으로 하여, PV에서의 사상이 있는 Set 위의 모나드를 표현하는 콤마 범주 (PV ↓ MndSet)를 구성한다.
• V-Rel^op과 Set 사이의 축합 (−)◦ ⊣ V-Rel(−, 1)을 적용하여 모나드를 V-관계로 올리는 데 사용한다.
• 기본 함자 (−)♯를 통해 모나드 T의 V-관계로의 클라이슬리 확장 ˆT를 구성한다. 이는 (T,V)-URel에서 Set으로의 忘却 함자에 대한 오른쪽 수반 함자이다.
• 연결 릿지스터 확장 ˆT와 관련된 단위 (T,V)-관계의 범주 (T,V)-URel을 정의하고, 이를 통해 축합에서 반사자 F를 정의한다.
• 콤마 범주 (PV ↓ MndSet)와 V-LaxExt 사이의 축합 F ⊣ G를 수립한다. 여기서 G는 모나드 사상 PV → T를 쌍 (T, ˇT)로 매핑하며, ˇT는 클라이슬리 확장이다.
• 축합의 단위와 쌍대단위가 삼각 항등식을 만족함을 증명하여, (T,V)-관계의 범주 내에서의 계산을 통해 축합이 확립됨을 확인한다.

실험 결과

연구 질문

• RQ1 V-관계로의 릿지스터 확장을 통해 동형인 릿지스터 대수 범주를 갖는 모나드의 가족에서 표준 대표 모나드를 어떻게 정의할 수 있는가?
• RQ2 양량체 V에 대해 Set 기반 모나드의 V-관계로의 클라이슬리 확장의 일반적 구성은 무엇인가?
• RQ3 연결 릿지스터 확장이 있는 모나드에 대한 V-관계에서의 릿지스터 대수의 범주는 T-모노이드의 범주와 어떻게 관련이 있는가?
• RQ4 V-멱집합 모나드 PV는 Set 기반 모나드의 릿지스터 확장 공간을 어떻게 정리하는가?
• RQ5 수렴 모나드의 범주 (V-LaxExt)는 콤마 범주 (PV ↓ MndSet)의 반사 부분범주로 특징지어질 수 있는가?

주요 결과

• 연결 릿지스터 확장 ˆT를 갖는 모나드 T에 대한 릿지스터 대수의 범주는, 정리 3.7.2에서 확립된 순서 동형을 통해 T-모노이드의 범주와 동형이다.
• 모나드 T의 V-관계로의 클라이슬리 확장 ˆT는 (T,V)-URel에서 Set으로의 忘却 함자에 대한 오른쪽 수반 함자인 (−)♯로서 구성되며, 이는 V-관계로의 보편적 올림을 제공한다.
• 콤마 범주 (PV ↓ MndSet)와 V-LaxExt 사이의 축합 F ⊣ G가 수립되었으며, F는 (T, ˆT)를 축합 (−)♯ ⊣ (T,V)-URel(−,1)에 의해 유도되는 모나드로 보낸다. G는 모나드 사상 PV → T를 (T, ˇT)로 매핑하며, 여기서 ˇT는 클라이슬리 확장이다.
• 축합의 단위 Y: 1 → GF와 쌍대단위 κ: FG → 1는 삼각 항등식을 만족하며, 이는 F가 왼쪽 수반, G가 오른쪽 수반임을 확인한다. κ는 (PV ↓ MndSet) 내에서 동형이다.
• T가 V-멱집합으로 강화된 경우, (T,V)-Cat ≅ T-Mon의 동형이 성립하며, 이 동형은 기저 양량체의 변화에 대해 사상 τ: PV → T에 의해 유지된다.
• 임의의 양량체 W와 모나드 사상 κ: PW → PV에 대해, T가 유도된 강화를 갖는다면 (T,V)-Cat는 (T,W)-Cat과 동형이다. 이는 릿지스터 대수의 구조가 이러한 사상에 의해 기저 양량체의 변화와 무관함을 보여준다.