[논문 리뷰] Framed bicategories and monoidal fibrations

Michael Shulman|arXiv (Cornell University)|2007. 06. 09.

Homotopy and Cohomology in Algebraic Topology인용 수 41

한 줄 요약

이 논문은 1차 사상이 사상이 아니라 객체(예: 이중 모듈러, 스파인)를 나타내는 이4중체에서 동치성 및 등가 문제를 해결하기 위한 프레임된 이4중체를 프레임워크로 제안한다. 기저 전환 함자들을 범주적 피브레이션을 통해 포함하고 이를 엄격한 2-카테고리로 정리함으로써, 잘 정의된 동치성, 수반성, 단순 구조 이론을 가능하게 한다. 이는 표준 이4중체보다 링과 모듈러의 예에 더 자연스러운 설정을 제공한다.

ABSTRACT

In some bicategories, the 1-cells are `morphisms' between the 0-cells, such as functors between categories, but in others they are `objects' over the 0-cells, such as bimodules, spans, distributors, or parametrized spectra. Many bicategorical notions do not work well in these cases, because the `morphisms between 0-cells', such as ring homomorphisms, are missing. We can include them by using a pseudo double category, but usually these morphisms also induce base change functors acting on the 1-cells. We avoid complicated coherence problems by describing base change `nonalgebraically', using categorical fibrations. The resulting `framed bicategories' assemble into 2-categories, with attendant notions of equivalence, adjunction, and so on which are more appropriate for our examples than are the usual bicategorical ones. We then describe two ways to construct framed bicategories. One is an analogue of rings and bimodules which starts from one framed bicategory and builds another. The other starts from a `monoidal fibration', meaning a parametrized family of monoidal categories, and produces an analogue of the framed bicategory of spans. Combining the two, we obtain a construction which includes both enriched and internal categories as special cases.

연구 동기 및 목표

• 1차 사상이 사상이 아니라 객체(예: 이중 모듈러, 스파인)를 나타내는 이4중체에 표준 이4중체 개념(특히 동치성 및 수반성)이 부적절하게 적용될 때의 문제를 해결하기 위해.
• 그러한 이4중체에서 '같음'의 기본 개념(예: 링 동형사상)이 표준 이4중체 동치성(예: 모리타 동치)으로 포착되지 않는 문제를 해결하기 위해.
• 이4중체가 자연스럽게 범주 위에 강화되어 있지 않은 경우에도 잘 정의된 엄격한 2-카테고리 개념(동치성, 수반성, 단순 구조)을 지원하는 프레임워크를 제공하기 위해.
• 모노이드 피브레이션에서 유도된 구성으로 강화된 및 내부 카테고리의 처리를 통합하기 위해.
• 프레임된 이4중체가 강력한 2-카테고리 이론을 사용할 수 있도록 하여 트라이카테고리나 약한 구조의 복잡성을 피할 수 있음을 보여주기 위해.

제안 방법

• 수평 1차 사상이 이중 모듈러와 같은 객체인, 추가 구조를 가진 편의 이4중체로 프레임된 이4중체를 정의한다. 여기서 수직 1차 사상은 0차 사상 간의 사상(예: 링 준동형사상)을 나타낸다.
• 표준 이4중체의 복잡한 동치 문제를 피하기 위해, 범주적 피브레이션을 사용해 기저 전환 함자를 비대수적으로 모델링한다.
• 약한, 반약한, 강한 프레임된 함자와 변환들을 사용해 프레임된 이4중체의 엄격한 2-카테고리를 구성한다.
• 매개화된 단순 구조의 단순 구조 카테고리의 가족인 모노이드 피브레이션의 개념을 도입하고, 이로부터 스파인의 이4중체와 유사한 프레임된 이4중체를 생성함을 보인다.
• 모노이드 피브레이션에서의 구성과 프레임된 이4중체의 구성 방식을 결합함으로써, 강화된 카테고리와 내부 카테고리를 특수한 경우로 포함하는 통합 프레임워크를 도출한다.
• 프레임된 이4중체가 프로화살표 장비 이론을 포함하고 일반화하며, 임의의 이4중체에서 수반성에 의해 자연스럽게 관련된 프레임된 이4중체가 존재함을 보여준다.

실험 결과

연구 질문

• RQ1 1차 사상이 객체(예: 이중 모듈러)인 이4중체에서 0차 사상(예: 링 동형사상)의 동형사상을 포착하는 동치성의 정의는 어떻게 가능할까? (모리타 동치가 아닌).
• RQ2 1차 사상이 사상이 아니라 객체인 이4중체(예: 링과 이중 모듈러의 이4중체)에서 잘 정의된 수반성의 개념을 가능하게 하는 구조는 무엇인가?
• RQ3 일반적인 이4중체의 약한 구조에도 불구하고, 표준 2-카테고리 개념(동치성, 수반성 등)을 지원하는 프레임된 이4중체의 2-카테고리 구축 방법은 무엇인가?
• RQ4 모노이드 피브레이션은 어떻게 스파인의 이4중체를 일반화하는 프레임된 이4중체를 생성하며, 이 구성은 강화된 카테고리와 내부 카테고리를 어떻게 통합하는가?
• RQ5 이4중체적 맥락에서 기저 전환 함자를 모델링할 때, 피브레이션을 사용하는 것이 약한 구조의 대수적 동치 조건보다 더 효과적인 이유는 무엇인가?

주요 결과

• 프레임된 이4중체는 엄격한 2-카테고리로 구성되며, 표준 이4중체가 실패하는 곳에서 표준 2-카테고리 이론(예: 동치성, 수반성)의 개념을 사용할 수 있게 한다.
• 모노이드 피브레이션에서 프레임된 이4중체를 구성함으로써, 스파인의 이4중체를 일반화하고 강화된 카테고리와 내부 카테고리를 특수한 경우로 포함하는 구조를 도출할 수 있다.
• 프레임된 이4중체는 표준 이4중체 동치가 모리타 동치에 해당하지만 링 동형사상이 더 기본적인 개념이라는 문제를 해결한다. 예를 들어, Mod(링과 이중 모듈러)의 이4중체에서 이 문제를 해결한다.
• 프레임된 이4중체 이론은 프로화살표 장비 이론을 포함하고 일반화하며, 임의의 이4중체에서 수반성에 의해 자연스럽게 유도된 프레임된 이4중체가 존재한다.
• 피브레이션을 사용해 기저 전환 함자를 모델링함으로써, 약한 구조의 동치 문제를 피하고, 이4중체가 본질적으로 약한 경우에도 엄격한 2-카테고리 방법을 적용할 수 있다.
• 논문은 많은 이4중체 문헌의 구성(예: 모듈러의 미적분)이 프레임된 이4중체에 암묵적으로 의존함을 보여주며, 특히 코시 완비성 조건이 성립하지 않을 경우 더욱 그렇다.