비정규 동형사상과 분배·반가산 범주의 구조적 귀결

본 논문은 두 종류의 비정규(isomorphism) 자연 변환이 존재할 때, 각각의 범주가 분배적(distributive) 혹은 반가산(semi‑additive) 구조를 반드시 갖는다는 사실을 증명한다. 1. **서론 및 배경** - 범주 \(D\)가 유한 곱·합을 가질 때, 기본적인 분배 사상 \(\delta_{X,Y,Z}:X\times Y+X\times Z\to X\times(Y+Z)\)가 정의된다. 이 사상이 가역이면 \(D\)는 분배적이라 부른다. - 반가산 범주의 경우, 합과 곱 사이의 기본 사상 \(\alpha_{Y,Z}:Y+Z\to Y\times Z\)가 가역이면 반가산이라고 정의한다. 2. **비정규 분배 동형사상** - **Lemma 1**: 비정규 동형사상 \(\psi_{X,Y,Z}\)와 가정 \(X\times0\cong0\)이 있으면, 정규 분배 사상 \(\delta_{X,Y,Z}\)가 가역임을 보인다. 증명은 \(\psi\)의 자연성으로부터 여러 사각형을 구성하고, 모든 \(\psi\)가 가역이므로 \(\delta\)도 가역임을 도출한다. - **Proposition 2**: \(0\times0\)이 초기 객체이며, 따라서 \(0\)은 부분단말(subterminal)임을 증명한다. 이는 이후 슬라이스 범주 논증에 필요하다. - **Proposition 3**: \(D\)가 pointed(0=1)일 경우, 비정규 분배 동형사상만으로도 모든 객체가 0과 동형임을 보인다. 여기서는 \(\theta_X=\psi_{X,1,1}:X+X\to X\)를 이용해 \(\nabla:X+X\to X\)가 동형임을 증명하고, 결국 모든 사상이 동일함을 얻는다. - **Theorem 4**: 앞의 결과들을 종합해, 슬라이스 범주 \(D/0\)가 자명함을 보이면 \(X\times0\cong0\)이 자동으로 성립한다. 슬라이스 사상은 전단사이며 유한 곱·합을 보존하므로, Proposition 3을 적용해 \(D/0\)가 자명함을 얻는다. 따라서 비정규 동형사상만으로 \(D\)가 분배적임을 결론짓는다. 3. **비정규 반가산 동형사상** - **Theorem 5**: 비정규 동형사상 \(\psi_{Y,Z}:Y+Z\cong Y\times Z\)가 존재하면, 먼저 \(1\cong1\times0\)을 통해 0과 1이 동형이므로 \(D\)는 pointed가 된다. 그 후 \(Y+0\cong Y\)와 \(0+Z\cong Z\)를 이용해 \(\alpha_{Y,Z}\)가 가역임을 보인다. 이는 반가산 범주의 정의와 일치한다. 4. **일반적인 모노이달 함수 정리** - **Theorem 6**: 두 브라디드 모노이달 범주 \(A,B\)와 정상(normal) 모노이달 함수 \(F:A\to B\)를 가정한다. 추가로 \(F\times F\)와 텐서곱 \(\otimes\) 사이에 모노이달 이성질체 \(\psi\)가 존재하면, 구조 사상 \(\varphi_{Y,Z}\)가 모두 가역이므로 \(F\)는 강(strong) 모노이달 함수가 된다. 증명은 복잡한 교환 사각형을 이용해 \(\varphi_{W,Z}\)가 가역임을 단계적으로 도출한다. - 이 정리는 앞서 다룬 두 특수 경우(곱-합 보존 함수와 합-곱 동형사상)를 바로 포함한다. 5. **응용 및 부가 결과** - **Corollary 8 (Caccamo‑Winskel)**: 범주 \(A\)와 \(B\)가 유한 합을 가지고, 함수 \(F:A\to B\)가 초기 객체를 보존한다면, 합에 대한 비정규 동형사상이 존재할 경우 \(F\)는 모든 유한 합을 보존한다. 이는 앞서 제시된 일반 정리의 직접적인 특수화이다. - 특히, \(X\times-\) 함수를 적용하면 Lemma 1을 다시 얻어, 비정규 분배 동형사상이 존재하면 곱함자가 합을 보존한다는 사실을 재확인한다. 6. **결론** - 논문은 “비정규 동형사상의 존재만으로도 해당 범주의 핵심 구조(분배성·반가산성)를 강제한다”는 강력한 메타 결과를 제시한다. 이는 자연 변환의 가역성 조건을 완화하면서도 범주론적 구조를 완전히 규정할 수 있음을 보여준다. 또한, 모노이달 함수와 브라디드 구조를 활용한 일반 정리는 다양한 수학·컴퓨터 과학 분야에서 유용하게 적용될 수 있다.