패치의 범주론적 이론

초록

본 논문은 파일과 패치를 객체와 사상으로 보는 범주 L을 정의하고, 충돌이 발생할 경우 존재하지 않을 수 있는 푸시아웃을 보완하기 위해 L의 자유 유한 여집합 완성인 범주 P를 구성한다. P의 객체는 라인에 라벨링된 유한 집합에 전이 관계가 부여된 형태이며, 사상은 라벨과 관계를 보존하는 부분함수이다. 이를 통해 버전 관리 시스템의 패치 병합을 범주론적 보편성으로 설명하고, 구현 단계에서 발생할 수 있는 모든 모서리 사례를 이론적으로 포괄한다.

상세 분석

논문은 먼저 파일을 라인들의 유한 시퀀스로 모델링하고, 삽입·삭제 연산을 통해 생성되는 부분함수를 패치라 정의한다. 이때 패치들은 증가하는 전단사(injective increasing) 함수이며, 라인 라벨이 존재하면 라벨 보존 조건을 추가한다. 범주 L은 이러한 파일과 패치를 객체·사상으로 하는 엄격한 모노이달 범주이며, 삽입 ηₐ와 삭제 εₐ가 자유 모노이달 생성자를 이루는 것을 보인다. 그러나 두 패치가 동시에 적용될 때 푸시아웃이 존재하지 않을 수 있다(예: 동일 라인을 서로 다른 내용으로 수정). 이는 충돌 상황을 의미한다.

이를 해결하기 위해 저자는 L을 모든 유한 콜림트를 갖는 범주로 완성하는 자유 보존적 유한 여집합 완성(conservative finite cocompletion) P를 정의한다. Kelly의 정리를 이용해 P는 프레시(pre)sheaf 범주 Ĺ의 제한된 부분범주으로 동등함을 보이며, 구체적으로는 라인 라벨이 달린 유한 집합에 전이 관계(전이성)를 부여한 구조로 나타난다. 전이 관계는 라인 간의 “앞에 있다” 혹은 “뒤에 있다”는 부분 순서를 일반화한 것으로, 충돌 상황에서도 두 파일을 동시에 포함하는 최소 공통 확장을 가능하게 한다.

P의 사상은 라벨과 전이 관계를 보존하는 부분함수이며, 이는 기존 L의 패치를 자연스럽게 포함한다. 특히 삽입 전용 서브범주 L⁺는 전이 관계가 없는 순서 집합으로서, P에서는 전이 관계가 허용되어 충돌 파일을 표현한다. 저자는 이 구조를 그래프 이론과 프레시(pre)sheaf 이론을 통해 구체화한다. G라는 작은 서브범주(두 객체와 두 화살표)와 그 프레시(pre)sheaf 범주 Ĝ를 이용해, L의 객체가 G의 유한 콜림트로 표현될 수 있음을 보이고, 그 콜림트가 전이 관계를 갖는 그래프로 전환되는 과정을 상세히 기술한다.

결과적으로 P는 파일의 라인 순서를 완전한 선형 순서가 아니라 부분 순서로 일반화함으로써, 충돌이 발생한 파일 상태를 수학적으로 정확히 모델링한다. 이는 버전 관리 시스템에서 패치 병합을 푸시아웃으로 해석하고, 충돌 해결을 범주론적 보편성에 기반한 알고리즘 설계로 연결할 수 있는 이론적 토대를 제공한다.