[논문 리뷰] A fibrational mate correspondence for $\infty$-categories

Rune Haugseng|arXiv (Cornell University)|2020. 11. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 7

한 줄 요약

이 논문은 ∞-카테고리에서의 fibrational mate correspondence를 수립하여 (∞,2)-카테고리 내의 수반 관계에 대한 체계적인 다루기 가능성을 제공한다. 이는 왼쪽 수반을 갖는 라식 대칭 모노이드 함수자의 경우 그 왼쪽 수반이 옵레이크 대칭 모노이드 함수자임을 증명하고, 닫힌 대칭 모노이드 ∞-카테고리 내부의 내재형 험(Hom)이 각 변수에서 라식 대칭 모노이드 함수자임을 보이며, 단위와 쌍대단위를 통해 전체적으로 비틀린 자연성(twisted naturality)을 도출한다.

ABSTRACT

We study families of adjoints from a fibrational viewpoint, obtaining a version of the mate correspondence for (op)lax natural transformations of functors from an $\infty$-category to the $(\infty,2)$-category of $\infty$-categories. We apply this to show that the left adjoint of a lax symmetric monoidal functor is oplax symmetric monoidal and that the internal Hom in a closed symmetric monoidal $\infty$-category is lax symmetric monoidal in both variables. We also consider units and counits of such families of adjoints, and use them to derive the full (twisted) naturality of passing to the dual.

연구 동기 및 목표

• ($∞,2$)-카테고리 내의 수반 관계의 가족을 위한 fibrational 프레임워크를 개발하기 위해.
• 고전적인 mate correspondence를 ∞-카테고리의 (옵)라식 자연변환의 맥락으로 일반화하기 위해.
• fibrational mate correspondence를 대칭 모노이드 구조에 적용하여, 특히 라식 및 옵레이크 함자에 대한 맥락에서 다루기 위해.
• 수반의 단위와 쌍대단위를 사용하여 쌍대화로의 전환에 대한 전체적인 비틀린 자연성을 도출하기 위해.
• 닫힌 대칭 모노이드 ∞-카테고리 내부의 내재형 험이 각 변수에서 라식 대칭 모노이드 함수자임을 확립하기 위해.

제안 방법

• ∞-카테고리의 ($∞,2$)-카테고리 내에서 fibrations를 사용하여 수반의 가족을 형식화하기 위해.
• ∞-카테고리에서 ∞Cat로의 함자 간 (옵)라식 자연변환에 대한 fibrational mate correspondence를 구성하기 위해.
• ∞-카테고리 내 수반의 보편 성질을 사용하여 라식 및 옵레이크 구조의 일관성 데이터를 도출하기 위해.
• 수반의 가족 내 단위와 쌍대단위의 행동을 분석하여 쌍대화의 비틀린 자연성을 확립하기 위해.
• 프레임워크를 대칭 모노이드 함자에 적용하여, 라식 대칭 모노이드 함자의 왼쪽 수반이 옵레이크 구조를 상속함을 보여주기 위해.
• fibrational mate correspondence를 통해 닫힌 대칭 모노이드 ∞-카테고리 내부의 내재형 험의 각 변수에서의 라식 대칭 모노이드 성질을 증명하기 위해.

실험 결과

연구 질문

• RQ1 고전적인 mate correspondence는 어떻게 ∞-카테고리 맥락에서 (옵)라식 자연변환으로 확장될 수 있는가?
• RQ2 라식 대칭 모노이드 함자에 대한 왼쪽 수반은 ∞-카테고리 맥락에서 어떤 구조를 상속하는가?
• RQ3 닫힌 대칭 모노이드 ∞-카테고리 내부의 내재형 험은 각 변수에서 라식 대칭 모노이드 함수자인가? 그리고 이는 어떻게 범주론적으로 증명할 수 있는가?
• RQ4 수반의 가족 내 단위와 쌍대단위는 ∞-카테고리에서 쌍대화의 자연성에 어떻게 기여하는가?
• RQ5 수반의 fibrational 구조로부터 전체적인 비틀린 자연성의 쌍대화가 유도될 수 있는가?

주요 결과

• 두 ∞-카테고리 사이의 라식 대칭 모노이드 함자의 왼쪽 수반은 옵레이크 대칭 모노이드 함수자이다.
• 닫힌 대칭 모노이드 ∞-카테고리 내부의 내재형 험은 각 변수에서 라식 대칭 모노이드 함수자이다.
• fibrational mate correspondence는 ($∞,2$)-카테고리 내 (옵)라식 변환을 다루는 일관성 있는 프레임워크를 제공한다.
• 수반의 가족 내 단위와 쌍대단위는 쌍대화 연산의 전체적인 비틀린 자연성을 유도한다.
• fibrational 접근법은 ∞-카테고리 내 대칭 모노이드 구조에 대한 일관성 데이터를 체계적으로 도출할 수 있게 한다.
• 이 프레임워크는 고차 범주론에서 수반, 모노이드 구조, 그리고 쌍대화의 다루기를 통합한다.