자유 모노이드 구성에 관한 새로운 접근

본 논문은 모노이달 범주 (C,⊗,I) 에서 자유 모노이드를 구성하는 새로운 방법을 제시한다. 먼저 저자는 배경으로, 모노이달 범주에서 모노이드를 정의하고, 자유 모노이드의 존재가 중요한 이유를 설명한다. 전통적으로는 C가 가산 콜리밋을 보유하고 텐서곱이 모든 콜리밋을 보존할 때, 자유 모노이드는 “기하급수” I+X+X²+… 형태로 주어진다. 그러나 이러한 조건은 자유 모나드와 같은 복잡한 구조를 다룰 때는 충분하지 않다. 다음으로, Dubuc의 접근법을 재검토한다. Dubuc은 Δ와 Δ_mon 사이의 강모노이달 함수를 Kan 확장으로 옮겨 자유 모노이드를 얻었다. 이 방법은 Δ_mon‑diagram (*) 의 콜리밋이 존재하고 텐서곱이 이를 보존하면 작동한다. 하지만 일반적인 범주에서는 모든 콜리밋을 보존하는 것이 과도한 가정이다. 이에 저자는 반사동등자와 정규 에피모르피즘의 공동교차(cointersection)를 이용해 콜리밋을 단계적으로 구성한다. 구체적인 절차는 다음과 같다. 1. **포인팅 객체 설정**: (Y, y: I→Y)를 선택한다. 2. **Δ_mon‑diagram (*)**: Yⁿ (n번째 텐서 거듭제곱)와 사상들 f_{n,k}, g_{n,k} (0≤k≤n−2)를 정의한다. 이 사상들은 Yⁿ을 Y^{k}⊗Y^{n−k−1}에 삽입하는 두 방법을 나타낸다. 3. **반사동등자 적용**: 각 (f_{n,k}, g_{n,k})에 대해 반사동등자를 취해 Z_{n,k}를 만든다. 4. **공동교차 q_n**: 모든 k에 대해 Z_{n,k}를 공동교차(q_n)하여 Z_n을 얻는다. 이는 Yⁿ을 “정규화”한 객체이며, q_n은 정규 에피모르피즘이다. 5. **연결 사상 j_n**: Z_n을 Z_{n+1}에 연결하는 사상 j_n을 정의한다. 이는 q_{n+1}∘(Y⊗q_n)와 동일하게 구성된다. 6. **가산 체인 콜리밋 Z**: {Z_n, j_n}의 가산 체인의 콜리밋을 취해 Z를 만든다. 텐서곱이 가산 체인 콜리밋을 보존하므로 Z⊗Z도 동일하게 구성된다. 다음 단계에서는 곱셈 μ: Z⊗Z→Z를 정의한다. 각 m,n에 대해 μ_{m,n}: Z_m⊗Z_n→Z_{m+n}을 만들고, 이들이 j_n과 호환됨을 보인다. 구체적으로, Z_m⊗Z_n은 Y^{m}⊗Y^{n}의 공동교차이며, Y^{m}⊗Y^{n}→Y^{m+n}의 동형사상 π_{m,n}을 통해 Z_{m+n}으로 사상한다. 3×3 보조정리를 이용해 μ_{m,n}가 반사동등자와 정규 에피모르피즘에 대해 안정적임을 확인한다. 그 후, μ_{m,n}들의 호환성을 이용해 전체 곱셈 μ를 정의하고, 연산이 결합법칙을 만족함을 검증한다. 결합법칙은 Y^{m}⊗Y^{n}⊗Y^{p}에 대한 두 경로가 동일함을 보이는 식 (8)에서 유도된다. 단위 사상 η는 I→Y→Z₁→Z으로 정의된다. 이는 Z₁이 Y에 대한 정규화된 사상이며, Z의 콜리밋 구조에 의해 전체 단위가 확장된다. 마지막으로 보편성을 증명한다. 임의의 모노이드 (M, μ_M, η_M)와 pointed morphism f: (Y, y)→(M, η_M) 에 대해, 각 n에 대해 f_n: Y_n→M^{⊗n}을 정의하고, 이를 정규화된 사상 g_n: Z_n→M으로 내려간다. g_n들의 콜리밋을 통해 g: Z→M을 얻으며, 이는 유일한 모노이드 사상임을 보인다. 주요 정리(Theorem 1)는 다음과 같다. C가 유한한 한계와 가산 콜리밋을 가지고, ⊗가 반사동등자와 가산 체인 콜리밋을 보존하면, 모든 pointed 객체에 대해 자유 모노이드가 존재한다. 특히 X에 대해 자유 모노이드는 I+X를 pointed 객체로 잡아 위 과정을 적용한 결과와 동일하다. 보조 정리(Lemma 2, 3)는 정규 에피모르피즘의 공동교차가 ⊗에 의해 보존됨을, 그리고 반사동등자에 대해 3×3 보조정리가 성립함을 보여준다. 이는 전체 구성에서 핵심적인 보존 조건을 충족시키는 데 사용된다. 논문의 마지막 섹션에서는 이 자유 모노이드가 “알제브라적으로 자유”인지에 대한 논의를 간략히 다루며, Kelly의 결과와 비교한다. 또한, 텐서곱이 sifted colimits(특히 반사동등자와 가산 체인)를 보존하는 경우가 널리 나타나는 예시들을 제시한다. 결론적으로, 저자는 기존의 강한 보존 가정을 완화하고, 반사동등자와 정규 에피모르피즘을 활용한 단계적 콜리밋 구축을 통해 보다 일반적인 모노이달 범주에서 자유 모노이드를 명시적으로 구성하는 새로운 프레임워크를 제공한다. 이는 자유 모나드, 자유 오페라드 등 고차 구조의 자유 객체를 다루는 데도 직접적인 응용 가능성을 열어준다.