다중정렬 자유모노이드와 리게 콩루엔스의 새로운 연계

초록

본 논문은 카테고리 위의 리게 콩루엔스와 일반화된 콩루엔스를 체계적으로 비교·연계하고, 이를 자유모노이드에 적용해 정렬된 유한 집합 카테고리와 동등하지만 부분카테고리는 아닌 스켈레톤 카테고리를 구축한다.

상세 분석

리게 콩루엔스는 객체와 사상 모두에 동치 관계를 부여하고, 이들 사이에 일련의 호환 조건(동일성 사상 포함, 전치·후치 폐쇄, 합성 보존, 선택 함수 존재 등)을 만족하도록 정의된다. 저자는 이 정의를 현대적 관점에서 재정립하고, 모든 리게 콩루엔스의 집합 RCgr(C) 가 포함 순서에 따라 유계 방향 완비(poset)임을 증명한다. 이는 각 리게 콩루엔스가 상향 닫힌 집합으로서 완전 격(lattice) 구조를 형성한다는 의미이며, 특히 최소 원소(동등성 관계가 전부 동일)와 최대 원소(전부 동등) 존재를 보인다.

반면 일반화된 콩루엔스(GCgr(C))는 사상뿐 아니라 비공백 유한 사상열에 대한 동치까지 확장한다. 저자는 이를 대수 격(algebraic lattice)으로 구성함으로써, 컴팩트 원소(유한 생성 콩루엔스)가 전체 격을 조밀히 근사함을 보인다. 특히 ‘강한 일반화 콩루엔스’를 도입해 리게 콩루엔스와 일반화된 콩루엔스 사이에 스콧 연속 사상 (·)♮:RCgr(C)→GCgr(C) 을 정의하고, 이 사상이 각 리게 콩루엔스를 강한 일반화 콩루엔스로 전환함을 구체적으로 기술한다.

범주론적 관점에서는 RCgr(C)와 GCgr(C) 각각을 객체로 하는 분류 범주(RCCat, GCCat)를 만들고, (·)♮에 의해 유도된 함자 (·)♮:RCCat→GCCat 을 정의한다. 이 함자는 각 분류된 범주 (C,Φ) 를 (C,Φ♮) 로 보내며, 자연 변환 pr_R, pr_G, α 를 통해 원래 범주와 그 몫 범주 사이의 관계를 명시한다. 특히, 선택 함수가 존재하고 호환 조건을 만족하면 α가 동형 사상이 되어 C/Φ 와 C/Φ♮ 가 동등함을 증명한다.

다중정렬 자유모노이드 A* 에 대한 구체적 적용에서는, 단어 동치 ≡A (문자열의 정렬 수와 위치를 무시하고 다중정렬 카운트를 동일하게 하는 관계)를 정의하고, 이를 기반으로 리게 콩루엔스 Φ 를 구성한다. Φ는 객체(단어)와 사상(단어 사이의 삽입·삭제) 모두에 동치 관계를 부여하며, ‘표준 순열’(canonical permutation)을 이용해 사상 간의 일대일 대응을 보장한다. 결과적으로 얻어지는 몫 범주 Q(A*) 은 스켈레톤이며, 각 객체는 A‑정렬 유한 집합의 카운트 (n_a){a∈A} 에 일대일 대응한다.

저자는 Q(A*)와 Set_A^f (다중정렬 유한 집합 범주) 사이에 명시적 동형 사상 |·|a 을 정의하고, 이 사상이 완전함을 증명한다. 또한, Q은 Set에 대한 함자이며, 자연 변환 pr{≡A}:C(A*)→Q(A*) 와 함께 함수 f:A⇉B 에 대해 MSet’(f)∘|·|_A ≅ |·|_B∘Q(f) 가 성립함을 보인다. 따라서 Q(A*)는 Set_A^f와 동등하지만, 객체가 실제 집합이 아니라 정렬 카운트 튜플이므로 부분범주는 아니다.

전체적으로 논문은 리게 콩루엔스와 일반화된 콩루엔스 사이의 구조적·범주론적 연계를 명확히 하고, 이를 자유모노이드와 다중정렬 집합 이론에 적용함으로써 새로운 스켈레톤 범주를 제공한다는 점에서 이론적 기여가 크다.