모나드와 수반: 클라이슬리 및 아이렌버그-무어를 통한 인수분해

모나드와 수반: 클라이슬리 및 아이렌버그-무어 수반을 통한 인수분해

카테고리 내의 모나드는 중간 카테고리를 거쳐서 서로 수반되는 함자들의 합성으로 표현될 수 있다. 이 접근법은 모나드의 내부 구조를 드러내며, 두 극단적인 수반 — 초기 클라이슬리 수반과 최종 아이렌버그-무어 수반 — 을 통해 분석할 수 있게 한다. 각각은 함자가 잃거나 복원하는 정보를 조직하는 고유한 방식을 보여준다.

망각적 함자와 자유 함자

함자 간의 수반은 일반적으로 그 역할로 설명된다: 오른쪽 수반은 보통 "망각적"이며, 왼쪽 수반은 "자유적"이다. 망각적 함자는 원래 카테고리의 일부 구조를 잃어버리며, 서로 다른 객체들을 하나로 압축한다. 이에 대해 왼쪽 수반인 자유 함자는 가능한 한 많은 정보를 회복하려 하며, 중간 카테고리에서 가장 일반적인 객체를 구성한다.

모노이드의 예시는 이를 잘 보여준다: 망각적 함자 U는 모노이드의 카테고리 Mon(Set)을 집합의 카테고리 Set으로 매핑하며, 곱셈 연산과 결합 법칙을 제거한다. 자유 함자 F는 U의 왼쪽 수반으로, 임의의 집합 a에 대해 자유 모노이드 Fa를 구성한다 — 이는 가장 일반적인 이항 연산을 갖는 구조로, 다른 모든 모노이드는 사상들을 통해 얻을 수 있다.

이러한 역할은 엄격한 수학적 정의가 아니라, 수반이 정보를 어떻게 조직하는지 이해하는 데 도움을 준다:

• 오른쪽 수반은 차이를 망각하고 객체들을 압축한다.
• 왼쪽 수반은 자유롭게 구조를 재구성하며, 가장 일반적인 객체를 생성한다.

모나드 수반의 카테고리

끝함자 위의 모나드 T에 대해, T = U∘F를 생성하는 모든 가능한 수반 (D, F, U)을 객체로 하는 카테고리 Adj_T를 구성할 수 있다. 수반 사이의 사상은 K∘F = F' 및 U'∘K = U를 만족하는 함자 K: D → D'이다.

이 카테고리는 모나드 T의 가능한 실현 방식에 대한 전부를 담고 있다. 중요한 결과: Adj_T는 초기 객체와 최종 객체를 모두 가지며, 이는 모나드를 인수분해하는 두 가지 극단적인 방법을 나타낸다.

클라이슬리 수반

클라이슬리 수반은 Adj_T의 초기 객체이다. 여기서 중간 카테고리는 자유 T-대수의 카테고리이다. 객체는 원래 카테고리 C의 객체들과 동일하지만, 사상은 모나드의 작용을 통해 조직된다.

클라이슬리 수반의 함자 F는 객체 a를 자유 T-대수 (Ta, μ_a)로 보낸다. 여기서 μ_a는 모나드의 승법이다. 망각적 함자 U는 단순히 대수의 객체를 원래 카테고리로 되돌려 보내며, 곱셈 구조를 망각한다.

클라이슬리 수반의 주요 특징:

• 중간 카테고리는 최소한의 구조를 가진다; 객체는 C의 객체들과 직접 대응한다.
• 사상은 모나드의 작용을 그 작용을 통해 반영한다.
• 이 수반은 최대한 "자유적"이며, 추가적인 제약을 전혀 추가하지 않는다.

아이렌버그-무어 수반

아이렌버그-무어 수반은 Adj_T의 최종 객체이다. 그 중간 카테고리는 모든 T-대수의 카테고리로, 객체는 대수 법칙을 만족하는 쌍 (a, h: Ta → a)이다.

여기서 함자 F는 객체 a를 자유 대수 (Ta, μ_a)로 보낸다. 클라이슬리 수반과 마찬가지로 동일하다. 그러나 망각적 함자 U는 이제 대수 (a, h)를 단순히 객체 a로 매핑하며, 곱셈 구조뿐만 아니라 특정 사상 h도 망각한다.

아이렌버그-무어 수반은 최대한 "망각적"인 접근을 나타낸다:

• 중간 카테고리는 풍부한 구조를 가진 모든 가능한 대수를 포함한다.
• 망각적 함자는 더 많은 정보를 잃으며, 대수를 그 기초 객체로 축소한다.
• 이 수반은 모나드가 자신의 대수 전체 카테고리로 표현될 수 있음을 보여준다.

수반 간 전환

Adj_T 내의 사상은 서로 다른 수반 간 전환을 가능하게 한다. 조건을 만족하는 함자 K: D → D', 즉 K∘F = F' 및 U'∘K = U를 만족하면, 모나드의 한 표현을 다른 표현으로 효과적으로 변환한다.

클라이슬리 수반에서 아이렌버그-무어 수반으로의 전환은 자유 대수를 모든 대수의 카테고리로 보내는 함자를 통해 이루어진다. 이 함자는 구조를 유지하지만, 맥락을 확장한다.

전환에 관한 핵심 포인트:

• 어떤 수반이라도 모나드 T를 생성한다면, Adj_T 내의 사상을 통해 클라이슬리 수반과 아이렌버그-무어 수반과 연결될 수 있다.
• 전환은 구조의 "망각"과 "재구성" 수준의 변화를 반영한다.
• 이를 통해 모나드의 가능한 실현 방식 전체에 걸쳐 분석이 가능하다.

예시: 옵션 모나드

필터링의 맥락에서 옵션 모나드를 고려해보자. 옵션 모나드의 작용은 중간 카테고리가 "값이 누락될 수 있는" 객체들로 구성된 클라이슬리 수반을 통해 표현될 수 있다.

아이렌버그-무어 수반에서는 옵션 대수는 Option a → a 형태의 사상 h를 갖는 객체로, 누락된 값을 "해결"하여 구체적인 요소를 반환하거나 대체 로직을 실행한다.

두 접근 방식의 비교:

• 클라이슬리 수반은 모나드의 작용 자체에 초점을 맞추며, 최소한의 구조를 가진다.
• 아이렌버그-무어 수반은 대수를 통해 누락된 값을 처리하는 모든 가능한 방법을 고려한다.
• 수반 간의 전환은 추상적인 모나드 작용이 다양한 처리 구현을 통해 구체화되는 방식을 보여준다.

핵심 요점

• 모나드는 중간 카테고리를 거쳐서 수반 함자들을 통해 인수분해될 수 있다.
• 주어진 모나드를 생성하는 모든 수반의 카테고리는 초기 객체와 최종 객체를 가지며, 이는 클라이슬리 수반과 아이렌버그-무어 수반이다.
• 클라이슬리 수반은 최대한 자유로운 접근을 나타내며, 최소한의 중간 구조를 가진다.
• 아이렌버그-무어 수반은 최대한 망각적인 접근을 보여주며, 풍부한 대수 카테고리를 가진다.
• Adj_T 내의 사상을 통한 수반 간 전환은 모나드의 가능한 실현 방식 전체 스펙트럼을 드러낸다.

— Editorial Team