보편적 코카테시안 섬유의 합성 구축

본 논문은 $(\infty,1)$‑범주론에서 가장 근본적인 구조 중 하나인 보편적 코카테시안 섬유(universal cocartesian fibration)를 모델 독립적인 방식으로 구축하고, 그에 대한 스트레이트닝‑언스트레이트닝 동형을 증명한다. 서론에서는 전통적인 접근법이 쿼시-카테고리나 심플렉셜 타입 이론에 크게 의존하고 있음을 지적하고, “합성(synthetic)” 방법—즉, 범주 자체의 보편적 성질만을 이용하는 접근법—의 필요성을 강조한다. 저자들은 특히 “방향성 비동형”(directed univalent) 코카테시안 섬유라는 새로운 개념을 도입한다. 이는 기본 공간 $B(x,y)$와 섬유 사이의 전이 함수 $E(x)\to E(y)$가 동형인 경우를 말한다. 이러한 섬유는 전통적인 “그룹화된” 섬유와 달리, 각 사상에 대해 전이 함수가 역전 가능함을 보장한다. 첫 번째 주요 정리(Theorem 7.7)는 임의의 펑터 $q\colon Y\to X$에 대해, 충분히 큰 방향성 비동형 코카테시안 섬유 $p\colon E\to B$가 존재하여 $q$의 모든 섬유를 $p$가 분류한다는 것이다. 여기서 “분류한다”는 의미는 $q$의 각 섬유가 $p$의 어떤 섬유와 동형임을 의미한다. 이 정리는 “모든 작은 범주를 포함하는 범주”라는 직관을 정확히 형식화한 것으로, 특히 내부 카테고리(∞‑topos 내부)나 구성주의적 설정에서도 그대로 적용될 수 있다. 두 번째 주요 정리(Theorem 8.1)는 위에서 만든 방향성 비동형 섬유에 대해 스트레이트닝‑언스트레이트닝 동형을 확립한다. 구체적으로, 코카테시안 섬유 $q\colon D\to C$가 $p$에 의해 모든 섬유가 분류될 때, 존재하는 펑터 $f\colon C\to B$에 대해 $D\simeq C\times_B E$가 성립한다. 이는 $q$가 $f^*p$와 동형임을 의미한다. 또한 두 스트레이트닝 $f,g$ 사이의 매핑 스페이스 $\operatorname{Map}(f,g)$가 코카테시안 펑터들의 매핑 스페이스와 동형임을 보이며, 스트레이트닝이 “유일하게” 결정된다는 강한 결과를 제공한다. 핵심 기술은 코카테시안 섬유가 로컬라이제이션(localisation)과 연속적 콜림(sequential colimit)을 따라 어떻게 내려가는지를 분석한 일련의 보조 정리들이다. Lemma 5.5와 5.7에서는 로컬라이제이션 $i\colon C\to D$에 대해 $i^*$가 완전 충실(full and faithful)함을 보이고, 그 이미지가 $W$‑역전이 가능한 섬유들의 정확히 그 집합임을 증명한다. 여기서 $W$는 로컬라이제이션에서 역전시키는 사상의 집합이며, $V$는 $W$의 코카테시안 사상들의 집합이다. Lemma 6.1, 6.2는 이러한 결과를 코카테시안 섬유와 코코마(cocomma) 구조에 확대한다. 매핑 스페이스 $E