링킹 다이어그램을 자유롭게 구성하기

본 논문은 다양한 수학·컴퓨터 과학 분야에서 등장하는 “링킹 다이어그램”을 하나의 범주론적 구조로 통합하고, 그 합성 연산을 자연스럽게 정의한다. 1. **서론**에서는 Brauer 모노이드, Temperley‑Lieb 카테고리, Kelly‑Laplaza 그래프, Girard의 곱셈 증명망 등에서 사용되는 경로 합성의 공통성을 소개한다. 기존 정의는 루프와 경로를 별도로 다루는 경우가 많아 복잡성을 야기한다는 점을 지적한다. 2. **iRel과 Link의 정의**: iRel은 삽입 관계(역부분함수)들의 범주이며, 각 관계는 한 원소가 여러 이미지와 연결되지 않도록 보장한다. 객체는 집합, 1‑셀은 X←A→Y 형태의 스팬이며, A는 “링크 집합”. 각 a∈A는 f(a)⊆X와 g(a)⊆Y라는 풋프린트를 갖는다. 삽입성 때문에 두 링크는 정점을 공유하지 않는다. 3. **풀백에 의한 합성**: 두 스팬 X←A→Y와 Y←B→Z 사이의 합성은 iRel에서의 풀백으로 정의된다. 풀백 객체 P는 A와 B의 부분집합 (α,β) 쌍으로, g(α)=h(β)인 동기화(synchronisation)이다. 최소 비공집합 동기화는 “경로”라 부르며, 경로들의 집합이 최종 링크 집합이 된다. 이때 Y에 완전히 포함된 동기화는 루프를 형성하고, 루프는 자동으로 카운트된다. 4. **동기화와 경로의 성질**: 논문은 동기화가 합집합·교집합·차집합에 대해 닫혀 있음을 보이며, 서로 다른 경로는 반드시 서로 겹치지 않음을 증명한다(경로는 최소 동기화이기 때문). 또한, 임의의 동기화는 그 안에 포함된 경로들의 불연속 합으로 분해될 수 있다. 5. **Loopless 변형 Link♭**: 루프가 없는 링크링만을 다루고 싶을 때는 합성 후 생성된 루프를 삭제하는 함수를 정의한다. 이는 Loopless Brauer, Loopless Temperley‑Lieb, 그리고 전통적인 파티션 모노이드를 재현한다. 6. **다양한 부분범주**: 논문은 Link와 Link♭ 안에 포함되는 여러 유명한 카테고리를 체계적으로 정리한다. - Brau와 Brau♭: 각각 루프 포함/제외된 Brauer 카테고리. - Part와 Part♭: Jones‑Martin 파티션 모노이드와 그 루프 버전. - TLieb와 TLieb♭: Temperley‑Lieb 카테고리와 그 루프 없는 변형. - (N,+)는 빈 집합 위의 정수 덧셈 모노이드로, Link의 특수한 서브카테고리를 이룬다. 7. **MLL과의 연결**: 곱셈 증명망(Multiplicative Linear Logic) 범주는 객체를 단위 없는 곱셈 공식, 사상은 컷 없는 증명망으로 정의된다. 증명망을 잊어버리는 함수 L, L♭를 통해 각각 Brau와 Brau♭로 사상할 수 있다. 증명망의 컷 소거 연산이 바로 iRel 풀백과 동일함을 보이며, 따라서 Geometry of Interaction이 “무료”로 구현된다고 주장한다. 8. **정리와 증명**: 핵심 정리(Theorem 1)는 iRel에서 풀백이 존재함을 보이며, 이를 위해 삽입 관계가 전단사(monadic)와 전단사(epic) 성질을 동시에 만족한다는 사실을 이용한다. 여러 보조 정리(Lemma 1~5)를 통해 동기화와 경로의 연산적 특성을 확립하고, 최종적으로 합성 연산이 결합법칙과 항등원을 갖는 범주임을 증명한다. 9. **결론 및 향후 연구**: 저자는 현재 작업을 확장해 coherence spaces(연속성 공간) 위의 풀백을 이용해 곱셈‑덧셈 Geometry of Interaction을 구현하려는 계획을 밝힌다. 또한, iRel 기반의 스팬 구조가 다양한 그래프‑이론적, 논리적 모델에 적용 가능함을 시사한다. 전체적으로 이 논문은 “링킹 다이어그램”이라는 구체적 도구를 범주론적 관점에서 추상화하고, 삽입 관계와 스팬을 이용해 모든 기존 사례를 하나의 통합된 프레임워크 안에 포괄함으로써, 복잡한 합성 규칙을 단순한 풀백 연산 하나로 환원한다는 중요한 기여를 한다.