대수 위 코알제브라와 최종 코알제브라의 완성

초록

본 논문은 Set‑모나드 M의 Eilenberg‑Moore 범주에서, Set‑엔드함수 F의 초기 대수를 이용해 그 최종 코알제브라를 완성으로 구성한다는 Barr의 정리를 일반화한다. 특히, M에 대한 리프팅으로 얻어지는 함숫값들에 대해 ‘교환 쌍’이라는 개념을 도입하고, 적절한 가정 하에 한 함숫값의 최종 코알제브라가 다른 함숫값의 초기 대수에서 자유 대수로 생성된다는 결과를 제시한다.

상세 분석

논문은 먼저 Barr가 제시한 “초기 대수의 완성은 최종 코알제브라이다”라는 고전적인 결과를 Set‑범주가 아닌 Set‑모나드 M의 Eilenberg‑Moore 범주 𝔐‑Alg 로 옮긴다. 여기서 핵심은 M‑알제브라 위에 정의된 엔드함수 F̂가 Set‑엔드함수 F의 리프팅이라는 점이다. 저자는 F̂가 𝔐‑Alg 에서 연속적(ω‑콜레시브)이며, 초기 F̂‑대수 μF̂ 가 존재한다는 전제 하에, μF̂ 를 M‑알제브라의 완전화(즉, Cauchy 완성) 과정을 거치면 최종 F̂‑코알제브라 νF̂ 를 얻는다는 정리를 증명한다. 이 과정에서 완성은 M‑알제브라의 구조를 보존하는 사상들의 필터드(colimit)으로 기술되며, 전통적인 Set‑범주의 경우와는 달리 M‑알제브라의 연산이 완성 단계에 영향을 미친다.

다음으로 저자는 “교환 쌍”(commuting pair)이라는 새로운 개념을 도입한다. 두 엔드함수 F와 G가 M‑알제브라 위에서 각각 리프팅 F̂, Ĝ 로 존재할 때, F̂∘Ĝ = Ĝ∘F̂ 라는 동등식이 성립하면 (F, G) 를 M‑관점에서 교환 쌍이라 정의한다. 이 가정 하에, F̂‑초기 대수 μF̂ 가 존재하고, Ĝ가 μF̂ 위에서 자유 대수 생성자를 제공한다면, νĜ (즉, Ĝ‑최종 코알제브라)는 자유 M‑알제브라 F̂‑μ에서 생성된 객체와 동형임을 보인다. 이는 “초기 대수 → 자유 알제브라 → 최종 코알제브라”라는 삼각관계를 형성하며, 기존의 코알제브라 이론에서 초기 대수와 최종 코알제브라가 별개의 존재였던 것을 하나의 구조적 흐름으로 통합한다.

기술적 핵심은 (1) M‑알제브라의 완성 이론을 이용해 콜레시브 한 엔드함수의 최종 코알제브라를 구성하는 방법, (2) 교환 쌍 조건을 통해 두 함숫값 사이의 대수적·코알제브라적 상호작용을 명시화하는 점이다. 특히, 교환 쌍이 존재하면 복잡한 고정점 연산을 피하고, 초기 대수만을 계산하면 자동으로 최종 코알제브라를 얻을 수 있다는 실용적 이점이 강조된다. 저자는 또한 이러한 결과가 대수적 효과(예: 리스트, 옵션, 확률 분포 등)를 모델링하는 모나드와, 그 위에 정의되는 전이 시스템(예: 상태 머신, 스트림 프로세스) 사이의 연결 고리를 제공함을 시사한다.