가중극한으로 보는 무한 토포이의 분류와 그 적용

초록

**
이 논문은 (∞,2)-범주인 토포이의 가중극한 존재를 증명하고, 이를 이용해 스펙트럼·라워 이론 등 다양한 프레스트랙을 대표하는 클래시파잉 ∞‑토포이를 구성한다. 핵심은 가중극한이 일반적인 원뿔극한과 화살표에 대한 멱을 통해 얻어질 수 있다는 정리와, 내부 고차 범주 이론을 활용한 객체 분류자의 구축이다.

**

상세 분석

**
이 논문은 두 가지 주요 결과를 중심으로 전개된다. 첫 번째는 (∞,2)-범주 TOP B(경계가 있는 토포이와 제한된 기하학적 사상들)가 **가중극한(weighted limits)**을 갖는다는 정리(정리 5.1)이다. 이를 위해 저자는 2‑범주 이론의 고전적인 “가중극한 ⇔ 원뿔극한 + 화살표 멱” 정리를 (∞,2)-범주 수준으로 일반화한다(정리 2.7). 구체적으로, ∞‑카테고리의 모든 원뿔극한이 존재하고, ∆¹에 대한 코텐서가 존재하면 화살표(arrow) 멱을 통해 모든 가중극한을 만들 수 있음을 보인다. 이 과정에서 Lurie의 ∞‑카테고리 전반에 걸친 완비성 결과와, GHL의 스케일드 심플렉셜 집합 모델 구조를 정교히 활용한다. 특히, 코텐서 구조를 ∆¹에 한정함으로써 “화살표 멱”을 정의하고, 이를 통해 가중극한을 구성하는 방법은 기존 2‑범주 문헌(Kelly 1989)과 정확히 대응한다는 점에서 이론적 일관성을 확보한다.

두 번째 주요 결과는 클래시파잉 ∞‑토포이의 존재와 구체적 구축이다. 저자는 “프레스트랙 T : TOPᵒᵖ → CAT_∞”를 모델 이론 없이도 “모델을 매핑하는 프레스트랙”으로 해석하고, 이러한 프레스트랙이 TOP B 안에서 대표 객체 B