[논문 리뷰] Monoidal Grothendieck construction

Joe Moeller, Christina Vasilakopoulou|arXiv (Cornell University)|2018. 09. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 27인용 수 25

한 줄 요약

이 논문은 단순히 Cat로의 립스 모나드적 편균자(2-categorical equivalence)를 통해 모나드적 피브레이션과 모나드적 인덱스 카테고리 사이의 2-카테고리 동치를 확립한다—특히 Cat로의 립스 모나드적 편균자. 이는 '전역적(global)' 모나드적 구조(전체 카테고리에서의 모나드성)와 '섬유별(fibrewise)' 모나드적 구조(섬유에서의 모나드성)의 차이를 명확히 하며, 기저가 코카르테시안 모나드적 카테고리일 때, (Cat, ×, 1)로의 립스 모나드적 편균자와 MonCat로의 편균자 사이의 일대일 대응을 증명함으로써, 모나드적 카테고리 이론에서 이전에 별개로 여겨졌던 두 가지 관점을 통합한다.

ABSTRACT

We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the 2-category of categories. In doing so, we investigate the relation between this `global' monoidal structure where the total category is monoidal and the fibration strictly preserves the structure, and a `fibrewise' one where the fibres are monoidal and the reindexing functors strongly preserve the structure, first hinted by Shulman. In particular, when the domain is cocartesian monoidal, lax monoidal structures on the functor to the 2-category of categories correspond to lifts of the functor to the 2-category of monoidal categories. Finally, we give examples where this correspondence appears, spanning from the fundamental and family fibrations to network models and systems.

연구 동기 및 목표

• 피브레이션과 인덱스 카테고리 사이의 고전적 그로텐디크 구성법을 모나드적 구조로 확장하여, 피브레이션과 인덱스 카테고리 사이의 동치를 모나드적 구조로 승격시키는 것.
• 전역적 모나드적 피브레이션(전체 카테고리가 모나드적임)과 섬유별 모나드적 피브레이션(섬유가 모나드적이고 재인식 함수사상이 강한 모나드적임) 사이의 개념적·기술적 차이를 명확히 하는 것.
• 기저 카테고리가 코카르테시안 모나드적일 경우, (Cat, ×, 1)로의 립스 모나드적 편균자와 MonCat로의 편균자 사이의 정확한 대응 관계를 수립하는 것.
• 모나드적 그로텐디크 구성법이 네트워크 모델, 시스템 이론, 그리고 모듈러나 대수적 구조(예: 모듈러와 대수)와 같은 다양한 수학적·응용적 맥락에서 자연스럽게 나타남을 보여주는 것.
• 향후 에너지화 및 고차원 카테고리 일반화를 위한 기초 프레임워크를 제공하는 것.

제안 방법

• 피브레이션의 2-카테고리에서의 편모노이드와 인덱스 카테고리의 2-카테고리에서의 편모노이드 사이의 표준 그로텐디크 동치를 2-동치로 승격시키는 것.
• 모나드적 피브레이션을 도메인 텐서 곱에 대한 카르테시안 승화 조건을 만족하는 엄격한 모나드적 함자로 정의하고, 모나드적 인덱스 카테고리를 Cat로의 립스 모나드적 편균자로 정의하는 것.
• 2-카테고리 기법을 사용하여 립스 모나드적 편균자의 총 카테고리에 자연스러운 모나드적 구조를 구성하고, 이 구조가 피브레이션에 의해 엄격하게 보존되도록 보장하는 것.
• 기저 카테고리가 코카르테시안 모나드적일 경우, (Cat, ×, 1)로의 립스 모나드적 편균자와 MonCat로의 편균자 사이의 일대일 대응이 모나드적 그로텐디크 구성법을 통해 성립함을 증명하는 것.
• 합성과 보편 성질을 사용하여 섬유에 대한 명시적 모나드적 구조를 구성하고, 자연성과 편균자성에 의해 재인식 함수사상이 강한 모나드적임을 검증하는 것.
• 편균자와 편균자의 자연동형을 통해 유도된 총 카테고리의 모나드적 구조가 요구되는 조율 조건(예: 결합법칙 및 항등원 제약)을 만족함을 검증하는 것.

실험 결과

연구 질문

• RQ1 고전적 그로텐디크 동치(피브레이션과 인덱스 카테고리 사이의 동치)는 어떻게 모나드적 맥락으로 확장될 수 있는가?
• RQ2 '전역적(global)' 모나드적 피브레이션(전체 카테고리가 모나드적임)과 '섬유별(fibrewise)' 모나드적 피브레이션(섬유가 모나드적이고 재인식 함수사상이 강한 모나드적임) 사이의 정확한 관계는 무엇인가?
• RQ3 립스 모나드적 편균자가 (Cat, ×, 1)로 가는 경우, 언제 MonCat로의 편균자로 대응되는가?
• RQ4 모나드적 그로텐디크 구성법은 네트워크 이론과 시스템 이론의 다양한 범주적 프레임워크를 어떻게 통합하는가?
• RQ5 총 카테고리의 모나드적 구조가 립스 모나드적 구조를 가진 편균자로부터 자연스럽게 유도되는 구조적 조건은 무엇인가?

주요 결과

• 논문은 모나드적 피브레이션과 모나드적 인덱스 카테고리 사이의 2-동치를 확립하여, 고전적 그로텐디크 구성법을 모나드적 맥락으로 일반화한다.
• 기저 카테고리가 코카르테시안 모나드적일 경우, (Cat, ×, 1)로의 립스 모나드적 편균자와 MonCat로의 편균자 사이의 일대일 대응이 존재하며, 이는 오랫동안 문헌에서 애매하게 여겨졌던 문제를 해결한다.
• 총 카테고리의 모나드적 구조는 편균자의 립스 모나드적 구조로부터 자연스럽게 도출되며, 피브레이션은 텐서 곱을 엄격하게 보존한다.
• 섬유 카테고리는 합성과 보편 사상들을 통해 모나드적 구조를 상속하며, 자연성과 편균자성에 의해 재인식 함수사상은 자동으로 강한 모나드적이다.
• 구성법은 브레이드 및 대칭 모나드적 변형으로 자연스럽게 확장되며, 기저 카테고리의 브레이드 구조를 통해 총 카테고리가 해당 구조를 상속한다.
• 이 프레임워크는 장식된 코스팬, 네트워크 모델, (코)모듈러와 (코)모나드에 대한 (코)모듈러, 시스템 이론적 합성 등 다양한 구체적 예시에 적용 가능하며, 광범위한 적용 가능성을 보여준다.