클래스‑접근가능성과 클래스‑지역적 현존성의 새로운 프레임워크

초록

본 논문은 기존의 지역적으로 현존하는(Locally Presentable) 및 접근가능한(Accessible) 범주 이론을 일반화하여, 현존 가능한 객체들의 집합 대신 적절한 ‘클래스’를 허용하는 클래스‑접근가능 및 클래스‑지역적 현존 범주를 정의한다. 작은 프레시베(large‑category) 위의 프레시베 범주, Ind‑구조 등 주요 예시를 제시하고, 이러한 범주가 완비·공완비 조건, 약한 인젝티비티 및 약한 분해 체계와 같은 핵심 성질을 유지함을 보인다. 또한, 클래스‑접근가능 범주의 의사 풀백(pseudopullback) 폐쇄성 및 Indₗ(A) 의 완비성에 관한 새로운 정리를 증명한다.

상세 분석

논문은 먼저 전통적인 λ‑접근가능 범주의 정의를 재검토한다. 기존 정의에서는 λ‑필터드(colimit)와 λ‑현존 가능한 객체들의 집합 A 가 존재해야 하며, 모든 객체가 A 로부터 λ‑필터드 콜리밋으로 구성된다고 요구한다. 저자들은 이 ‘집합’ 조건을 완전히 포기하고, 대신 클래스 A 를 허용한다. 이를 ‘클래스‑λ‑접근가능’이라고 명명하고, A 가 적절히 큰 경우에도 λ‑필터드 콜리밋을 통해 모든 객체를 재구성할 수 있음을 보인다.

핵심적인 차이는 두 가지이다. 첫째, 클래스‑λ‑접근가능 범주는 완비·공완비 조건을 추가로 요구한다. 이는 예를 들어 큰 이산 범주 D 위의 작은 프레시베 범주 P(D)가 완비는 아니지만, 클래스‑λ‑접근가능 구조를 갖는다는 점을 설명한다. 둘째, 클래스‑접근가능 범주는 cowell‑powered 하지 않을 수 있다. 저자는 순서 집합 K (모든 순서수와 최대 원소를 포함) 를 예로 들어, K 가 클래스‑ω‑현존하지만 cowell‑powered 하지 않음을 보여준다.

다음으로 저자는 Indₗ(A) 구조를 이용해 클래스‑접근가능 범주의 대표성을 확보한다. 여기서 A 는 임의의 범주이며, Indₗ(A) 는 동형 사상으로 제한된 λ‑필터드 콜리밋들의 자유 완성체이다. 정리 2.4에서는 A 가 λ‑co‑complete (λ‑작은 콜리밋을 모두 갖는) 그리고 approximately complete (각 다이어그램에 대해 약하게 초기인 집합이 존재) 일 때 Indₗ(A) 가 완비가 된다는 충분·필요 조건을 제시한다. 이는 기존의 접근가능 범주 이론에서 ‘완전성’이 작은 카테고리의 완전성에 귀속된다는 사실을 클래스 수준으로 일반화한 것이다.

정리 2.6 은 클래스‑λ‑현존 범주 K 가 P(A) (A 의 작은 프레시베 범주)의 반사(full reflective) 서브범주이며, λ‑필터드 콜리밋에 대해 닫혀 있을 때 정확히 클래스‑λ‑현존임을 증명한다. 여기서 A = presₗ(K) 로 정의된 λ‑현존 객체들의 전역 서브카테고리를 사용한다. 이 결과는 기존의 ‘접근가능 범주는 Ind‑구조와 동형’이라는 정리를 클래스 수준으로 확장한다.

함수론적 측면에서는 클래스‑λ‑접근가능 함수와 강하게 클래스‑λ‑접근가능 함수를 구분한다. 전자는 λ‑필터드 콜리밋을 보존하면 되고, 후자는 추가로 λ‑현존 객체들을 λ‑현존으로 보존한다. 일반적인 접근가능 함수는 자동으로 강하게 접근가능하지만, 클래스‑접근가능 경우에는 이 동등성이 깨진다. 예를 들어 큰 이산 범주 D → K (K 가 클래스‑ω‑접근가능) 의 경우는 강하게 클래스‑ω‑접근가능하지 않을 수 있다.

마지막으로, 논문은 의사 풀백(pseudopullback) 에 대한 폐쇄성을 증명한다(정리 3.1). 두 강하게 클래스‑λ‑접근가능 함수 F: K→M, G: L→M 가 주어지면, 그 의사 풀백 PsPb(F,G) 는 클래스‑λ⁺‑접근가능 범주가 되며, 투사 함수들은 강하게 클래스‑λ⁺‑접근가능이다. 이는 기존 접근가능 이론에서 ‘접근가능 범주는 한계(limit)와 콜리밋에 대해 닫힌다’는 결과를 클래스 수준으로 확장한다. 전체적으로 저자는 기존 접근가능 이론의 핵심 구조(완비성, 반사 서브카테고리, 의사 풀백 폐쇄성)를 유지하면서, ‘현존 가능한 객체들의 집합’ 대신 ‘클래스’를 허용함으로써 큰 카테고리 위의 프레시베, Ind‑구조 등 실제 수학적 상황에 더 넓게 적용할 수 있는 틀을 제공한다.