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

**1. 서론 및 동기** Gabriel‑Ulmer 가 제시한 지역적 현존 범주와 Makkai‑Pare가 확장한 접근가능 범주는 현대 범주론, 특히 동형 이론과 호몰로지 이론에서 핵심적인 역할을 해왔다. 그러나 최근의 연구에서는 큰 카테고리 위의 프레시베(예: 작은 프레시베 P(A) where A is large)와 Ind‑구조와 같이 현존 가능한 객체들의 **집합**이 존재하지 않는 경우가 빈번히 등장한다. 이러한 상황을 포괄하기 위해 저자들은 ‘클래스‑접근가능’ 및 ‘클래스‑지역적 현존’이라는 새로운 개념을 도입한다. **2. 기본 정의** - **클래스‑λ‑접근가능 범주** K: (1) K 가 λ‑필터드 콜리밋을 모두 갖는다. (2) K 에는 λ‑현존 가능한 객체들의 **클래스** A 가 존재해, 모든 객체가 A 로부터 λ‑필터드 콜리밋으로 표현된다. - **클래스‑λ‑현존 범주**: K 가 클래스‑λ‑접근가능이며 동시에 완전·공완비이면 클래스‑λ‑현존이라고 부른다. - **클래스‑접근가능 함수**: 두 클래스‑λ‑접근가능 범주 사이에서 λ‑필터드 콜리밋을 보존하는 함수를 의미한다. 강하게 클래스‑λ‑접근가능 함수는 추가로 λ‑현존 객체들을 λ‑현존 객체로 보존한다. **3. 주요 예시** 1. **작은 프레시베 범주 P(A)**: A 가 큰 카테고리일 때 P(A) 는 클래스‑ω‑접근가능이며, 일반적으로 완전하지 않다(예: 큰 이산 A 에서는 터미널 객체가 없음). 2. **Indₗ(A)**: A 의 동형 사상으로 제한된 λ‑필터드 콜리밋들의 자유 완성체. Indₗ(A) 는 언제나 클래스‑λ‑접근가능이며, A 가 λ‑co‑complete 및 approximately complete 하면 Indₗ(A) 가 완전해진다. 3. **Top**: 위상 공간 범주는 클래스‑현존이 아니며, 현존 가능한 객체는 오직 이산 공간에 국한된다. **4. 완전성 및 반사 서브카테고리** 정리 2.4 는 A 가 λ‑co‑complete와 approximately complete 일 때 Indₗ(A) 가 완전함을 보인다. 여기서 ‘approximately complete’는 모든 다이어그램 D에 대해 그 위의 콘(코)원들의 약하게 초기인 집합이 존재함을 의미한다. 정리 2.6 은 클래스‑λ‑현존 범주 K 가 P(A) 의 반사(full reflective) 서브카테고리이며, λ‑필터드 콜리밋에 대해 닫혀 있으면 정확히 클래스‑λ‑현존임을 증명한다. 이때 A = presₗ(K) 로 정의된 λ‑현존 객체들의 전역 서브카테고리를 사용한다. **5. 함수와 접근가능성** 클래스‑λ‑접근가능 함수와 강하게 클래스‑λ‑접근가능 함수의 차이를 강조한다. 일반적인 접근가능 함수는 자동으로 강하게 접근가능하지만, 클래스‑접근가능 경우에는 예외가 존재한다. 큰 이산 카테고리 D → K (K 가 클래스‑ω‑접근가능) 를 통해 이를 설명한다. **6. 제한(리밋)과 의사 풀백** 정리 3.1 은 두 강하게 클래스‑λ‑접근가능 함수 F: K→M, G: L→M 가 주어질 때, 그 의사 풀백 PsPb(F,G) 가 클래스‑λ⁺‑접근가능 범주가 되며, 투사 함수들은 강하게 클래스‑λ⁺‑접근가능함을 증명한다. 이는 기존 접근가능 이론에서 ‘접근가능 범주는 한계와 콜리밋에 대해 닫힌다’는 결과를 클래스 수준으로 확장한다. **7. 추가 성질 및 차이점** - 클래스‑현존 범주는 일반적으로 **cowell‑powered** 하지 않으며, 이는 순서 집합 K 와 같은 예시에서 확인된다. - ‘약한 인젝티비티와 약한 분해 체계(weak factorization systems)’가 클래스‑현존 범주에서도 정의 가능하며, 이는 호몰로지 이론에서 모델 구조를 구축하는 데 활용될 수 있다. **8. 결론 및 전망** 저자들은 클래스‑접근가능 및 클래스‑현존 범주의 정의와 기본 성질을 체계화함으로써, 기존 접근가능 이론이 다루지 못했던 큰 카테고리 위의 구조들을 포괄한다. 특히, 작은 프레시베, Ind‑구조, 그리고 다양한 호몰로지 이론의 모델 범주에 직접 적용 가능함을 보이며, 향후 ‘클래스‑접근가능 모델 구조’와 같은 심화 연구의 토대를 마련한다.