강력한 유한성 메트릭 모나드는 너무 강하다

초록

본 논문은 양적 대수의 자유 대수 모나드가 반드시 강력히 유한(strongly finitary)하지는 않음을 보이는 반례를 제시하고, 이러한 모나드들을 “1‑basic”이라 정의하여 강력히 유한 모나드들의 가중 콜림(weighted colimit)으로 정확히 기술한다. 결과적으로 메트릭 공간 범주 Met에서 강력히 유한 엔드함수는 합성에 대해 닫히지 않음을 얻는다.

상세 분석

논문은 먼저 Met(확장된 거리 허용)와 그 완전 부분범주 CMet를 기본 배경으로 삼아, Enriched 카테고리 이론에서의 ‘유한’과 ‘강력히 유한’ 엔드함수·모나드의 정의를 재정리한다. 강력히 유한함은 제한된 이산 공간(Set_f)으로부터의 좌측 Kan 확장(Lan K T_K)으로 얻어지는 엔드함수에 해당하며, 이는 Kelly‑Lack 이론의 ‘locally finitely presentable’ 개념과 일치한다. 논문은 기존에 알려진 예들(예: n‑제곱함수, Hausdorff 모나드, M×‑곱함수 등)이 모두 강력히 유한함을 만족함을 확인한다.

핵심 기여는 ‘ε‑가깝게’ 동작하는 두 이항 연산을 갖는 양적 대수의 변종 V를 구성하고, 그 자유 대수 모나드 T_V가 강력히 유한하지 않음을 증명한 점이다. 구체적으로, V는 1‑basic 방정식 t = ε t′(ε>0)만을 허용하는 변형된 반정규식 체계이며, 이때 T_V는 유한 이산 공간에 대한 값만으로는 완전히 결정되지 않는다. 이는 강력히 유한 엔드함수가 ‘에피모르픽’ 조건(T i_X가 에피임)과 ‘ε‑조건’(2.1)을 만족하지 못함을 보임으로써 입증된다.

이 반례를 바탕으로 저자는 ‘1‑basic 모나드’를 정의한다. 이는 Mnd_f(Met) 내에서 강력히 유한 모나드들의 가중 콜림으로 구성된 모나드이며, 모든 자유 대수 모나드 T_V는 정확히 이러한 1‑basic 모나드와 동형이다(정리 1.1). 가중 콜림의 구체적 구현은 ‘foliation’이라는 실수 구간(0,∞)을 인덱스로 하는 디스크리트 공간들의 콜림을 이용한다. 이 구조는 강력히 유한함이 보장되는 엔드함수들이 ‘foliation’의 콜림을 보존한다는 명제 2.15와 연계된다.

또한, 강력히 유한 엔드함수들의 합성이 다시 강력히 유한함을 유지하지 않는다는 부정적 결과(정리 1.2)를 도출한다. 이는 Bourke‑Garner의 ‘saturated arities’ 이론과 연결되며, Met에서 유한 이산 공간이 포화(arities)임을 가정하면 자유 대수 모나드가 강력히 유한함과 동치가 된다는 기존 기대와는 반대되는 사례가 된다.

논문은 이후 완전 메트릭 공간(CMet)에서도 동일한 1‑basic 특성이 유지됨을 보이며, 특히 단항 연산만을 갖는 변종은 여전히 강력히 유한함을 만족한다는 긍정적 부류도 제시한다. 마지막으로, 기존 문헌(특히 Mardare·Panangaden·Plotkin, Kelly‑Lack, Bourke‑Garner 등)과의 관계를 정리하고, 이전에 제시된 불완전한 증명들을 보완함으로써 이 분야의 이론적 기반을 정리한다.