단조적 모노이달 엔드펑터의 일관성

초록

이 논문은 모노이달 범주에서 단사성이 아닌 자연 변환으로 구조를 보존하는 엔드펑터에 대해, 대칭이 없을 때와 있을 때 각각 관계 그래프를 이용한 일관성 정리를 증명한다. 또한 대각선·코대각선 변환이나 유한 곱·공곱 구조를 갖는 경우로 확대하고, 이러한 결과가 향후 모노이달 모나드·코모나드의 일관성 증명에 기반이 됨을 제시한다.

상세 분석

논문은 먼저 모노이달 범주 (\mathcal{C}) 와 그 위의 엔드펑터 (F:\mathcal{C}\to\mathcal{C}) 를 고려한다. 전통적인 모노이달 펑터는 구조 보존을 위한 동형사상 (\phi_{A,B}:FA\otimes FB\to F(A\otimes B)) 와 단위 사상 (\phi_0:I\to FI) 을 요구하지만, 여기서는 이 동형성을 완화하여 자연 변환만을 가정한다. 즉 (\phi_{A,B}) 와 (\phi_0) 가 반드시 가역적일 필요는 없으며, 이는 모노이달 모나드·코모나드와 같은 비가역적 상황을 포괄한다.

핵심 문제는 “일관성(coherence)”이다. 즉, 같은 형태의 복합 변환을 서로 다른 방법으로 전개했을 때 얻어지는 두 모양이 그래프적으로 동일함을 보이는 것이다. 이를 위해 저자는 “관계 그래프”(relational graph)라는 시각적 도구를 도입한다. 각 객체는 정점, 각 자연 변환은 방향성 있는 간선으로 표현되며, 복합 변환은 그래프의 합성으로 나타난다.

첫 번째 단계에서는 대칭이 없는 모노이달 구조를 가정한다. 여기서는 텐서 연산의 교환 법칙이 없으므로, 그래프는 순수히 트리 형태를 이룬다. 저자는 자유 모노이달 엔드펑터 범주 (\mathsf{Free}(F)) 을 구성하고, 이를 관계 그래프 함자 (G:\mathsf{Free}(F)\to\mathbf{Rel}) 에 사상한다. 주요 정리(정리 1)는 (G) 가 완전하고 충실함을 보이며, 이는 모든 동등식이 그래프 동형으로 환원된다는 의미다. 증명은 정규형(normal form) 개념을 도입해 모든 사슬을 단계별로 축소하고, 축소 과정이 유일함을 보이는 방식으로 진행된다.

다음으로 대칭 구조가 추가된 경우를 다룬다. 대칭 사상 (\sigma_{A,B}:A\otimes B\to B\otimes A) 가 존재하면 그래프에 교차 간선이 허용된다. 저자는 대칭을 포함한 자유 범주 (\mathsf{Free}_\mathrm{sym}(F)) 을 정의하고, 동일한 관계 그래프 사상을 확장한다. 정리 2는 대칭이 있더라도 일관성이 유지된다는 것을 보이며, 증명은 대칭 교환을 그래프의 “스위치” 연산으로 모델링하고, 스위치의 결합법칙과 교환법칙을 이용해 정규형의 유일성을 확보한다.

그 후 논문은 대각선 (\Delta_A:A\to A\otimes A) 또는 코대각선 (\nabla_A:A\otimes A\to A) 과 같은 추가 자연 변환이 존재하는 경우를 탐구한다. 이러한 변환은 복제·소멸 연산을 제공해, 특히 유한 곱(또는 유한 공곱) 구조와 동형이다. 저자는 각각 “대각선 일관성”과 “코대각선 일관성” 정리를 제시하고, 그래프에 복제·소멸 노드를 추가함으로써 기존 증명 틀을 그대로 적용한다.

마지막으로 곱 ((\times,1)) 또는 공곱 ((+,0)) 으로 정의된 모노이달 구조에 특화된 사례를 제시한다. 여기서는 대각선·코대각선이 자동으로 존재하므로, 앞서 증명한 일반 정리들을 직접적인 형태로 전이한다.

전체적으로 논문은 “관계 그래프”라는 통일된 시각적 언어를 통해, 동형이 아닌 자연 변환을 허용하는 모노이달 엔드펑터의 복합 구조가 언제나 일관된다는 강력한 메타 정리를 제공한다. 이는 향후 모노이달 모나드·코모나드의 일관성 연구, 그리고 프로그래밍 언어 이론에서 효과 시스템이나 자원 관리 모델링에 직접적인 응용 가능성을 열어준다.