[논문 리뷰] Orthofibrations and monoidal adjunctions

Fabian Hebestreit, Sil Linskens외 1명|arXiv (Cornell University)|2020. 11. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 4

한 줄 요약

이 논문은 ∞-범주들의 곱 위의 피브레이션을 연결하는 데 사용되는 스팬을 이용한 이중화 구성법을 제안하며, 이는 단일화된 모나이드 동치에서 오른쪽 수반의 이완 모나이드 구조와 왼쪽 수반의 상이완 모나이드 구조 사이의 대응을 가능하게 한다. 주요 기여는 스팬 기반의 명시적 이중성에 의해 이러한 이중 모나이드 구조들 간의 형식적 동치를 확립하는 것이다.

ABSTRACT

We study various types of fibrations over a product of two $\infty$-categories, and show how they can be dualised over one of the two factors via an explicit construction in terms of spans. Among other things, we use this to prove that given an adjunction between monoidal $\infty$-categories, there is an equivalence between lax monoidal structures on the right adjoint and oplax monoidal structures on the left adjoint functor.

연구 동기 및 목표

• 두 개의 ∞-범주 곱 위의 피브레이션 간의 이중성을 한 요소에 대해 이중화함으로써 설정하기.
• 모나이드 수반에서 오른쪽 수반의 이완 모나이드 구조와 왼쪽 수반의 상이완 모나이드 구조 간의 관계를 명확히 하기.
• ∞-범주 맥락에서 이중성을 실현하는 스팬을 이용한 명시적 구성법을 제공하기.
• 일반적인 결과들을 ∞-범주로 일반화하여 일관된 고차 구조를 갖춘 설정에서 모나이드 수반을 다루기.

제안 방법

• ∞-범주적 맥락에서 스팬을 사용하여 두 ∞-범주의 곱의 한 요소에 대해 이중화 함수를 구성한다.
• ∏-범주 위의 피브레이션에 스팬 구성법을 적용하여 이중 피브레이션을 도출한다.
• ∞-범주 이론과 그로텐디크 구성법을 활용하여 피브레이션을 ∞-군의로 가는 함숫법으로 해석한다.
• 오른쪽 수반에 대한 이완 모나이드 구조의 ∞-범주와 왼쪽 수반에 대한 상이완 모나이드 구조의 ∞-범주 간의 동치를 확립한다.
• 스패너의 보편 성질을 활용하여 이중성 구성에서 자연성과 일관성을 보장한다.
• 스패너 구성에 의해 유도되는 자연 동형을 통해 이중성 구성이 모나이드 구조를 유지함을 보여준다.

실험 결과

연구 질문

• RQ1 ∞-범주들의 곱 위의 피브레이션을 한 요소에 대해 체계적으로 어떻게 이중화할 수 있는가?
• RQ2 모나이드 수반에서 오른쪽 수반의 이완 모나이드 구조와 왼쪽 수반의 상이완 모나이드 구조 간의 정확한 관계는 무엇인가?
• RQ3 ∞-범주적 맥락에서 스팬을 이용해 이러한 모나이드 구조 간의 이중성을 명시적으로 구성할 수 있는가?
• RQ4 이러한 이중성은 모나이드 ∞-범주에서 일관성 자료를 어느 정도 유지하는가?
• RQ5 이 구성은 고차 범주로의 일반화된 고전적 결과들을 어떻게 확장하는가?

주요 결과

• 오른쪽 수반 함숫법에 대한 이완 모나이드 구조의 ∞-범주와 왼쪽 수반 함숫법에 대한 상이완 모나이드 구조의 ∞-범주 사이에 표준적인 동치가 존재한다.
• 이중성은 ∞-범주들의 곱 위의 피브레이션을 체계적으로 변환하는 스팬 기반의 구성에 의해 실현된다.
• 구성은 모나이드 일관성 자료를 유지하여 동치가 텐서 구조를 존중함을 보장한다.
• 이중화 과정은 자연스럽고 함숫법적이며, 수반의 사상으로까지 확장된다.
• 결과는 모나이드 범주에서 고전적인 수반 대응의 고차 범주적 일반화를 제공한다.
• 스패너 구성은 이완 및 상이완 구조 간의 이중성을 유도하는 보편적 메커니즘으로 기능한다.