접근 가능한 범주의 직접극한과 강한 콤팩트 기수의 역할

논문은 접근 가능한 범주(Accessible Category)와 그 사이의 접근 가능한 함자(Accessible Functor)에 대한 구조적 특성을 조사한다. 서론에서는 접근 가능한 범주가 제한(limit)에 대해서는 닫혀 있지만, 콜림(colimit)에 대해서는 일반적인 닫힘 성질이 알려져 있지 않음을 언급한다. 특히, 강한 다이어그램(strong diagrams)의 느슨(colax) 콜림은 존재하지만, 일반적인 직접극한에 대한 결과는 부족하다. 이를 보완하기 위해 두 가지 주요 정리를 제시한다. 첫 번째 정리(2.1)는 ‘전사적 전임(fully faithful) 포함’으로 이루어진 직접극한이 다시 접근 가능한 범주가 된다는 내용이다. 증명은 모든 K_i가 동일한 큰 정규 기수 κ에 대해 κ‑접근 가능하고, 포함 사상들이 강하게 κ‑접근 가능하다고 가정한다. κ‑지향 다이어그램을 고려할 때, 어느 하나의 K_i 안에 충분히 큰 부분집합 M₀가 존재함을 보이고, 그 안에서의 콜림이 전체 다이어그램의 콜림과 일치함을 확인한다. 이를 통해 전체 콜림 K가 κ‑접근 가능함을 증명한다. 또한, K가 ACC 안에서의 콜림임을 확인한다. 예시 2.2에서는 자연수 체인 Set → Set² → … 의 직접극한이 ω₁‑접근 가능하지만 ω‑접근 가능하지 않음을 보여, 접근 가능성의 미세한 차이를 강조한다. Remark 2.3에서는 포함 사상이 특정 삼각형 조건을 만족하면 정리 2.1을 확장할 수 있음을 언급한다. 두 번째 정리(3.1)는 ‘접근 가능한 포함’만으로 이루어진 직접극한도, 충분히 큰 강하게 α‑콤팩트(α‑strongly compact) 기수 μ가 존재한다면 μ‑접근 가능 범주가 된다는 것이다. 여기서는 μ‑지향 필터와 α‑완전 울트라필터를 이용해 다이어그램을 μ‑지향으로 축소하고, 다시 λ‑지향(λ<μ) 콜림을 통해 전체 콜림을 구성한다. 결과적으로 K는 μ‑접근 가능하고, 각 포함 사상 F_i는 강하게 μ‑접근 가능함을 얻는다. 이 정리의 증명은 집합론적 가정(강한 콤팩트 기수)의 필요성을 강조한다. Corollary 3.2는 임의로 큰 콤팩트 기수가 존재한다면 ACC가 CAT 안에서 직접극한에 대해 닫힌다는 것을 도출한다. 여기서는 모든 포함 사상이 강하게 λ‑접근 가능하도록 하는 λ를 선택하고, 그보다 큰 컴팩트 기수 μ를 이용해 위 정리를 적용한다. 예시 3.3에서는 유한히 접근 가능한 함수들 사이의 체인(Set → Set² → …)을 고려하고, 그 직접극한인 ‘끝까지 일정한 시퀀스’ 범주 Set<ω가 강하게 ω₁‑콤팩트 기수가 존재한다면 접근 가능함을 보인다. 그러나 이 접근 가능성이 집합론적 가정에 의존하는지 여부는 아직 미지이다. 마지막으로 논문은 강한 콤팩트 기수 가정이 실제로 필요할지, 일반적인 직접극한에 대한 전반적인 닫힘 성질은 어떻게 되는지에 대한 열린 질문을 제시한다. 참고문헌은 접근 가능한 범주와 관련된 주요 저작들을 인용한다.