Cores and localizations of $(\infty,\infty)$-categories

이 논문은 $(\infty,\infty)$-범주의 코어와 국소화를 통해 두 가지 $(\infty,1)$-범주를 비교하고, 국소화 극한이 코어 극한의 반사적 국소화임을 보이며, $d=\infty$에서만 나타나는 공귀납적 가역성 등 중간 국소화들을 연구합니다.

핵심

1. 배경: "무한한 우유와 소금"의 세계

우리가 보통 생각하는 '범주 (Category)'는 사물 (객체) 과 그 사이의 화살표 (관계) 로 이루어진 세계입니다.

• 0 차원: 점들 (객체) 만 있는 세계.
• 1 차원: 점들 사이의 화살표가 있는 세계.
• 2 차원: 화살표들 사이의 관계 (화살표가 화살표를 변형시키는 것) 가 있는 세계.
• 3 차원: 그 관계들 사이의 관계가 있는 세계.

이론상 이 과정은 무한히 (∞) 계속될 수 있습니다. 이를 (∞, ∞)-범주라고 부릅니다. 여기서 핵심 질문은 **"무한히 계속되는 이 관계 속에서, 두 가지가 '같은 것 (동일한 것)'이라고 말할 수 있는 기준은 무엇인가?"**입니다.

2. 두 가지 다른 시선: "핵심 (Core)"과 "국소화 (Localization)"

저자들은 이 무한한 세계를 바라보는 두 가지 서로 다른 방법을 제시합니다. 마치 거대한 도서관을 정리할 때 두 가지 다른 방식을 쓰는 것과 같습니다.

A. "핵심 (Core)" 방식: 완벽주의자의 정리법 (Right ∞-category)

이 방식은 **"정직함"**을 최우선으로 합니다.

• 비유: 도서관에서 책과 책 사이의 '약간의 연결고리'만으로는 두 책이 같다고 볼 수 없습니다. 두 책이 완전히 동일한 내용을 가지고 있어야만 '같은 책'으로 분류합니다.
• 원리: 이 방식은 불완전한 연결고리 (가역적이지 않은 화살표) 를 모두 버리고, 진짜로 뒤집을 수 있는 (가역적인) 관계만 남깁니다.
• 결과: 매우 엄격하고, 모든 것이 명확하게 구분되는 '진정한' 세계를 만듭니다. 이를 **Cat_R**이라고 부릅니다.

B. "국소화 (Localization)" 방식: 관대함의 정리법 (Left ∞-category)

이 방식은 **"유연함"**을 최우선으로 합니다.

• 비유: 도서관에서 두 책이 아주 비슷하다면, 비록 완벽한 연결고리가 없더라도 "어차피 비슷하니까 같은 책으로 치자!"라고 말합니다. 약간의 차이는 무시하고, 연결고리가 존재하기만 하면 두 책을 동일시합니다.
• 원리: 이 방식은 모든 연결고리를 '가역적'인 것처럼 취급해 버립니다. 즉, "어떤 방향으로든 갈 수 있다면, 결국 같은 곳이다"라고 간주합니다.
• 결과: 매우 유연하지만, 많은 세부 사항이 뭉개져서 단순해진 세계를 만듭니다. 이를 **Cat_L**이라고 부릅니다.

3. 이 논문의 핵심 발견: "거울과 투명한 창"

저자들은 이 두 가지 방식 (Cat_R 과 Cat_L) 의 관계를 밝혀냈습니다.

• 핵심 발견: Cat_L(관대한 방식) 은 사실 Cat_R(엄격한 방식) 의 일부입니다.
• 비유: Cat_R 이 거대한 거울처럼 모든 것을 정교하게 비추는 세계라면, Cat_L 은 그 거울을 통해 볼 때 일부 세부 사항이 흐릿하게 사라진 투명한 창과 같습니다.
• 주요 정리: Cat_R 세계를 Cat_L 세계로 바꾸는 과정은 **'반사적 국소화 (Reflective Localization)'**라고 불리는 수학적 과정입니다. 즉, 엄격한 세계 (Cat_R) 에서 불필요한 세부 사항을 '지우기'만 하면 관대한 세계 (Cat_L) 가 나온다는 것입니다.

4. 흥미로운 중간 단계: "코인덕티브 (Coinductive)"와 "ω-완전성"

그런데 여기서 더 재미있는 일이 발생합니다. Cat_R 과 Cat_L 사이에는 중간 단계가 존재할 수 있다는 것입니다.

• 코인덕티브 (Coinductive) 완전성: 무한히 계속되는 연결고리를 "거의" 같은 것으로 보는 기준입니다. 마치 "무한히 반복되는 패턴이 있다면, 결국 같은 것"이라고 생각하는 방식입니다.
• ω-완전성 (ω-complete): 이보다 조금 더 엄격한 기준입니다. "유한한 단계 (ω) 까지는 연결고리가 명확해야 같은 것"으로 봅니다.

저자들은 이 중간 단계들을 연구하며 다음과 같은 사실을 발견했습니다:

1. 엄격한 세계 (Cat_R) 는 항상 '코인덕티브' 기준을 만족합니다. (모든 것이 명확해야 하니까요.)
2. 하지만 '코인덕티브' 기준을 만족한다고 해서 반드시 Cat_R 에 속하는 것은 아닙니다. (중간 단계가 존재함)
3. Cat_L(관대한 세계) 은 이 중간 단계들보다도 더 단순화된 세계입니다.

5. 결론: 왜 이 연구가 중요한가?

이 논문은 수학자들이 **"무한한 복잡성"**을 다룰 때, 어떤 기준으로 '같음'을 정의하느냐에 따라 세계가 어떻게 달라지는지를 체계적으로 정리했습니다.

• 엄격한 기준 (Core): 모든 것을 구별하고 싶을 때 사용합니다. (예: 정밀한 공학 설계)
• 관대한 기준 (Localization): 큰 그림을 보고 싶을 때 사용합니다. (예: 거시적인 경제 흐름 분석)
• 중간 기준 (Coinductive/ω): 그 사이의 미묘한 차이를 연구할 때 사용합니다.

한 줄 요약:

"무한히 복잡한 관계 속에서 '같음'을 정의하는 두 가지 방법 (엄격한 것과 관대한 것) 이 있으며, 이 논문은 그 두 방법 사이의 정교한 연결고리와 그 사이에 숨겨진 여러 가지 '중간 세계'들을 찾아냈습니다."

이 연구는 단순한 수학 이론을 넘어, 복잡한 시스템 (컴퓨터 과학, 물리학, 인공지능 등) 에서 '동일성'을 어떻게 정의하고 처리할지에 대한 깊은 통찰을 제공합니다.

기술 요약

1. 연구 문제 (Problem)

$(\infty, d)$-범주는 $d$차원 이상의 화살표가 모두 가역적 (invertible) 이라는 조건을 만족하는 구조로 정의됩니다. 여기서 $d \to \infty$일 때, 즉 $(\infty, \infty)$-범주를 정의하는 것은 직관적으로는 자연스럽지만, 실제로는 여러 가지 모호한 지점을 가집니다.

• 정의의 모호성: $(\infty, \infty)$-범주를 정의하는 표준적인 방법은 $(\infty, d)$-범주들의 역극한 (limit) 을 취하는 것입니다. 그러나 각 단계에서 $(\infty, d)$-범주를 $(\infty, d+1)$-범주로 확장하는 과정에는 두 가지 자연스러운 보편적 선택이 존재합니다.
  1. 로컬라이제이션 (Localization, $L_d$): 모든 $(d+1)$-차원 화살표를 형식적으로 가역적으로 만드는 과정.
  2. 코어 (Core, $R_d$): 모든 비가역적인 $(d+1)$-차원 화살표를 제거하는 과정.
• 핵심 질문: 이 두 가지 방식으로 얻어지는 두 개의 $(\infty, 1)$-범주, 즉 $Cat^L_{(\infty, \infty)}$ (좌측 극한) 과 $Cat^R_{(\infty, \infty)}$ (우측 극한) 은 어떤 관계인가? 그리고 이 두 범주는 동일한가?

2. 방법론 (Methodology)

저자들은 구체적인 모델 (예: simplicial, cubical 등) 에 의존하지 않고, **추상적인 공리계 (axiomatic framework)**를 구축하여 문제를 접근합니다.

• Biinductive Systems (이귀납적 시스템): $Cat_d$들의 사슬 $Cat_0 \subset Cat_1 \subset \dots$과 이에 수반되는 좌우 수반 함자 ($L_d, R_d$) 를 가진 범주 시스템을 정의합니다.
• Bias (편향) 개념: 이 시스템에서 $n$-surjective (n-전사) 사상들의 성질을 공리화하여 "Bias"를 정의합니다. 이는 $n$-전사 사상이 코어와 로컬라이제이션 함자와 어떻게 상호작용하는지, 그리고 합성과 취소 법칙을 따르는지를 기술합니다.
• Surjectivity (전사성) 분석: $n$-전사 사상의 개념을 $(\infty, d)$-범주로 일반화하고, 이것이 무한 극한에서 어떻게 작용하는지 분석합니다.
• Coinductive Characterization (코인덕티브 특성화): 무한 차원에서만 나타나는 새로운 가역성 개념인 **코인덕티브 동형 (coinductive isomorphism)**을 정의하고, 이를 통해 범주의 완비성 (completeness) 을 재정의합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 주요 정리: 반사적 로컬라이제이션 (Main Theorem)

논문은 $Cat^R_{(\infty, \infty)}$와 $Cat^L_{(\infty, \infty)}$ 사이의 관계를 규명하는 주요 정리를 증명합니다.

• 정리: 두 범주 사이에는 **반사적 로컬라이제이션 (reflective localization)**이 존재합니다.
  $$L: Cat^R_{(\infty, \infty)} \rightleftarrows Cat^L_{(\infty, \infty)} : R$$
  여기서 $R$은 완전히 충실 (fully faithful) 한 함자이며, $L$은 약한 무한 전사 (weakly $\infty$-surjective) 사상을 정확히 반전 (invert) 시킵니다.
• 의미: $Cat^L_{(\infty, \infty)}$는 $Cat^R_{(\infty, \infty)}$의 부분 범주가 아니라, $Cat^R_{(\infty, \infty)}$를 특정 사상들 (약한 무한 전사) 로 로컬라이제이션한 결과물입니다. 즉, 두 선택지는 동등하지 않으며, 우측 극한 ($R$) 이 더 "풍부한" 구조를 가지며 좌측 극한 ($L$) 은 이를 더 단순화한 버전입니다.

B. 코인덕티브 완비성 (Coinductive Completeness)

무한 차원 범주에서 새로운 가역성 개념을 도입하여 범주의 종류를 세분화합니다.

• 코인덕티브 동형: 무한히 높은 차원의 역행렬을 가진 화살표들의 계층적 구조를 통해 정의되는 가역성입니다.
• 코인덕티브 완비 ($\infty$-complete): 코인덕티브 동형이 실제 동형 (isomorphism) 과 일치하는 범주.
• 결과: $Cat^R_{(\infty, \infty)}$에서 코인덕티브 동형을 반전시키는 로컬라이제이션은 코인덕티브 완비 범주의 범주 ($Cat^{coind}_{\infty}$) 를 얻습니다. 이는 $Cat^L_{(\infty, \infty)}$보다 더 큰 범주입니다.

C. $\omega$-완비성 (ω-Completeness) 과 Henry-Loubaton 반례

• $\omega$-동형: 유한한 높이 $n$까지의 역행렬 계층을 가진 화살표.
• 결과: $Cat^L_{(\infty, \infty)}$는 $\omega$-완비 범주들의 범주 ($Cat^\omega_{\infty}$) 에 포함됩니다.
• 중요한 발견: Henry 와 Loubaton 이 제시한 반례 ($E(\omega)$) 를 통해, 코인덕티브 완비이지만 $\omega$-완비가 아닌 범주가 존재함을 보였습니다. 이는 $Cat^L_{(\infty, \infty)} \subsetneq Cat^{coind}_{\infty}$임을 의미하며, 두 극한이 완전히 일치하지 않음을 강력하게 시사합니다.

D. 구체적인 예시

• 스팬 (Spans) 범주: $Cat^R_{(\infty, \infty)}$에서는 비자명한 구조를 가지지만, $L$을 적용한 $Cat^L_{(\infty, \infty)}$에서는 자명해집니다 (trivializes).
• 코보디즘 (Cobordism) 범주: 완전히 이중화 가능 (fully dualizable) 한 범주는 $L$을 통해 군 (groupoid) 으로 축소됩니다.

4. 의의 및 결론 (Significance)

1. $(\infty, \infty)$-범주의 표준 정의에 대한 통찰: "올바른" $(\infty, \infty)$-범주가 무엇인지에 대한 논쟁에 대해, 우측 극한 ($R$) 이 기본 우주 (universe of discourse) 로 작용하며 좌측 극한 ($L$) 은 그 안의 특정 로컬라이제이션으로 이해되어야 함을 보여줍니다.
2. 모델 독립적 접근: 구체적인 모델 (simplicial sets, complicial sets 등) 에 의존하지 않고, 전사성 (surjectivity) 과 수반 함자의 추상적 성질만으로 핵심 정리를 증명함으로써 이론의 견고성을 높였습니다.
3. 새로운 가역성 개념의 정립: 무한 차원에서의 가역성을 정의하는 여러 방식 (코인덕티브, $\omega$-동형 등) 을 체계적으로 분류하고, 이들이 서로 어떻게 다른지 (예: 코인덕티브 동형은 $\omega$-동형보다 더 강한 조건이 아님, 혹은 그 반대 등) 를 명확히 했습니다.
4. 개방된 문제 제시:
   • $Cat^L_{(\infty, \infty)}$가 정확히 $\omega$-완비 범주들의 범주와 일치하는가? (Loubaton 의 추측)
   • $\omega$-동형까지 전사적인 사상과 $n$-동형까지 전사적인 사상의 개념이 무한 극한에서 일치하는가?

이 논문은 고차 범주론의 최전선 연구로서, 무한 차원 구조를 다루는 데 있어 코어와 로컬라이제이션의 미묘한 차이가 어떻게 근본적인 범주론적 성질 (완비성, 가역성) 에 영향을 미치는지를 체계적으로 규명한 획기적인 작업입니다.