대수 이론과 모나드 그리고 아리티

초록

이 논문은 전통적인 유한 차수 모나드 개념을 일반화하여 ‘아리티를 가진 모나드’를 소개한다. 아리티는 특정 집합(또는 객체)들의 모음으로, 이들에 대한 모나드의 작용만 알면 전체 카테고리에서의 모나드 값을 Kan 확장을 통해 재구성할 수 있다. 논문은 이 이론적 배경을 정리하고, 대수적 이론, n‑카테고리, 프로그래밍 의미론 등에서의 적용 사례를 제시한다. 부록에서는 연산자(operad)와의 연계 가능성을 논의한다.

상세 분석

논문은 먼저 전통적인 유한 차수(monad) 개념을 재검토한다. 유한 차수 모나드는 Set‑카테고리에서 모든 집합에 대한 값이 유한 집합에 대한 값으로부터 Kan 확장(특히 좌측 Kan 확장)으로 결정된다는 특징을 가진다. 저자는 이 구조를 ‘아리티(arities)’라는 보다 일반적인 개념으로 확장한다. 아리티는 카테고리 C 의 작은 전시(subcategory) A 로 정의되며, 모나드 T 가 A‑아리티를 가진다는 것은 T 가 A 위에서 제한된 형태 T|A 를 갖고, 전체 T 가 A‑제한을 통해 좌측 Kan 확장으로 복원될 수 있음을 의미한다. 이 정의는 모나드가 ‘아리티에 의해 생성’된다는 직관을 제공한다.

핵심 기술은 다음과 같다. 첫째, 아리티 A 가 ‘밀도(dense)’하고 ‘정밀(presentable)’한 경우, 즉 A 가 C 의 모든 객체를 콜레임(colimit)으로 표현할 수 있으면, 좌측 Kan 확장은 전역적으로 존재한다. 둘째, 이러한 상황에서 모나드 T 는 ‘아리티‑보존(arities‑preserving)’이라는 추가 조건을 만족해야 하는데, 이는 T 가 A‑제한을 통해 콜레임을 보존한다는 의미다. 셋째, 저자는 ‘아리티‑모나드’와 ‘법칙적 이론(lawvere theory)’ 사이의 동등성을 일반화한다. 전통적인 유한 차수 모나드와 Lawvere 이론 사이의 동등성은 ‘유한 아리티’를 선택함으로써 재현되며, 더 복잡한 아리티(예: 구형 체, 구형 그래프 등)를 선택하면 고차원 구조, 특히 n‑카테고리의 자유 모나드가 얻어진다.

다음으로 논문은 구체적인 사례를 제시한다. 첫 번째 사례는 전통적인 대수적 이론(군, 반군 등)으로, 여기서 아리티는 유한 집합이며, 모나드의 재구성은 고전적인 유한 차수 모나드와 일치한다. 두 번째 사례는 ‘구형 집합(arities of globes)’을 이용한 n‑카테고리 이론이다. 구형은 고차원 셀을 나타내는 기본 객체이며, 이들을 아리티로 삼으면 자유 n‑카테고리 모나드가 좌측 Kan 확장을 통해 얻어진다. 세 번째 사례는 컴퓨터 과학에서의 효과 시스템(effect system)이다. 여기서는 연산자(operations)의 서명(signature)을 아리티로 보고, 모나드가 효과를 모델링한다. 아리티‑모나드 접근법은 효과 조합(composition)과 자유 효과 생성자를 체계적으로 다룰 수 있게 한다.

마지막으로 부록에서는 operad와의 관계를 탐색한다. Operad는 다입력 연산을 다루는 구조로, 아리티‑모나드와는 서로 보완적인 관점을 제공한다. 특히 ‘다중 아리티(multi‑arity)’ 개념은 operad의 입력 형태와 직접적으로 대응되며, 이를 통해 모나드와 operad 사이의 교차 구조를 정의할 가능성을 제시한다. 전체적으로 논문은 아리티‑모나드 프레임워크가 기존의 유한 차수 모나드 이론을 포괄하면서도, 고차원 범주론과 프로그래밍 의미론에 새로운 도구를 제공한다는 점을 강조한다.