필터된 2 콜림트와 유한 2 리밋의 교환 법칙

이 논문은 작은 범주들의 2‑범주 CAT에서 필터된 2‑콜림트와 유한 2‑리밋이 교환될 수 있음을 보이는 정리를 제시한다. 서론에서는 2‑범주론이 현대 수학 전반에 걸쳐 중요한 도구가 되었으며, 특히 스택의 스터크(stalk)와 같은 구조가 2‑콜림트로 기술된다는 점을 언급한다. 이후 2‑리밋·2‑콜림트의 정의를 재정리하고, “강한 인자화 속성(strong factorisation property)”을 만족하는 경우를 중심으로 다룬다. 먼저 필터된 범주 I의 정의를 제시하고, (i)·(ii)·(iii) 세 조건을 만족함을 확인한다. Lemma 4에서는 보조 범주 I_{i,i'}를 정의하고, I가 필터되면 I_{i,i'}도 필터된다는 사실을 증명한다. 이는 사상들의 비교를 위한 동치 관계를 정의하는 데 필수적이다. 다음으로 2‑콜림트의 구체적 구성(Proposition 5)을 제시한다. 객체는 (i,X) 형태의 쌍이며, 사상은 I_{i,i'}의 공한계 lim→_{(i'',s,s')} Hom_{b(i'')}(b(s)X, b(s')Y) 로 정의된다. 이때 사상들의 전이 구조는 2‑함자 b가 제공하는 자연 동형 b_{t,s} 등을 이용해 명시한다. 동치 관계 ∼는 두 사상이 더 큰 i''' 로 공통화될 수 있음을 의미한다. 유사하게 2‑리밋의 구체적 모델(Proposition 6)을 제시한다. 객체는 (X,θ_X) 형태이며, 여기서 X는 J의 각 객체 j에 대한 a(i,j)‑객체들의 모음, θ_X는 J의 사상 t에 대해 a(i,t)‑이동을 연결하는 동형들의 집합이다. 사상은 각 j에 대한 Hom_{a(j)}(X_j,Y_j) 의 한계 lim←_{j∈J} 로 정의되고, 전이 사상은 θ_X와 θ_Y를 이용해 적절히 꼬인다. 본론에서는 I가 필터되고 J가 유한한 경우, 2‑콜림트와 2‑리밋을 교차 적용한 두 복합 범주  2 lim_{i∈I} 2 lim_{j∈J} a(i,j) 와 2 lim_{j∈J} 2 lim_{i∈I} a(i,j) 를 구성한다. 각 복합 범주의 객체와 사상을 앞서 정의한 (공)한계 표현을 이용해 상세히 기술한다. Theorem 8은 자연 변환 Ψ가 두 복합 범주 사이의 동형임을 주장한다. 증명은 먼저 사상들의 (공)한계 표현이 동일함을 이용해 전사성(full faithfulness)을 확인한다. 전사성은 사상들의 전이가 동일한 (공)한계 원소에 의해 정의되므로 직접적인 동등성 검증으로 귀결된다. 본질적 전사성(essential surjectivity)은 필터된 범주의 (ii)·(iii) 조건을 반복 적용해, 주어진 객체를 충분히 큰 k∈I 로 “통합”할 수 있음을 보임으로써 얻는다. 구체적으로, 각 j∈J에 대해 i_j→k' 를 선택하고, 다시 모든 t∈Hom_J에 대해 동등 관계를 만족하도록 k와 사상 s_k 를 구성한다. 이렇게 하면 원래 객체를 Ψ의 이미지인 형태로 재구성할 수 있다. 결과적으로, 필터된 2‑콜림트와 유한 2‑리밋은 교환 가능하며, 이는 전통적인 “filtered colimit commutes with finite limit” 정리를 2‑범주 CAT에 그대로 확장한 것이다. 논문은 정의와 증명을 명시적으로 전개했으며, 특히 사상을 전통적인 동치 클래스가 아니라 실제 (공)한계 원소로 다루어 계산적 접근을 용이하게 만든 점이 특징이다. 다만 2‑자연 변환과 2‑수정에 대한 상세 검증이 생략된 점은 향후 연구에서 보완될 필요가 있다.