[논문 리뷰] The Homotopy Theory of Simplicially Enriched Multicategories

Marcy Robertson|arXiv (Cornell University)|2011. 11. 17.

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

한 줄 요약

이 논문은 단순 복합체의 집합으로 풍부화된 소형 대칭 다중범주 카테고리 위에 코프리브리언트 생성 Quillen 모델 구조를 수립하며, 단순 복합체 카테고리에 대한 Bergner 모델 구조와 색상이 있는 작도에 대한 Berger-Moerdijk 모델 구조를 통합한다. 주요 기여는 단순 복합체 풍부화를 통한 고차 카테고리 이론과 $(∞,1)$-작도에서 대수적 구조를 연구하기 위한 호모토피 이론적 프레임워크를 제공하는 것이다.

ABSTRACT

In this paper we construct a cofibrantly generated model category structure on the category of all small symmetric multicategories enriched in simplicial sets.

연구 동기 및 목표

• 단순 복합체의 집합으로 풍부화된 소형 대칭 다중범주 카테고리 위에 Quillen 모델 구조를 수립하기.
• 단순 복합체 카테고리에 대한 Bergner 모델 구조와 $S$-색상이 있는 작도에 대한 Berger-Moerdijk 모델 구조를 통합하기.
• $(∞,1)$-카테고리와 $(∞,1)$-작도에서 대수적 구조를 연구하기 위한 호모토피 이론적 프레임워크를 제공하기.
• 작도와 다중범주 이론을 단순 복합체의 호모지오그래피를 가진 설정으로 확장하여 유도 대수적 구성이 가능하도록 하기.

제안 방법

• 임의의 다중함수를 코프리비에이션 다음에 약한 쌍대성 피브레이션으로 분해하기 위해 소형 객체 방법을 사용하여 모델 구조의 존재를 보장한다.
• 생성 코프리비에이션과 약한 쌍대성 코프리비에이션을 생성 셀을 따라 푸시아웃을 정의하여 코프리브리언트 생성 모델 카테고리 이론을 적용한다.
• $\bar{I}$ 및 $\bar{J}$의 사상 클래스를 활용하여 약한 동치와 피브레이션을 생성하며, 재진입과 2-중-3 성질에 대한 닫힘을 보장한다.
• 약한 동치는 $π_0$ 함자로 검출되며, 포함 사상에 沿한 푸시아웃 다이어그램과 당김을 사용하여 끼워넣기 성질을 검증한다.
• 작도의 $Σ_n$-등변성은 단순 복합체 풍부화에서 대칭 모나드 구조와의 호환성을 보장한다.
• 코프리비에이션의 분류와 끼워넣기 성질을 적용하여 Quillen 모델 카테고리의 공리, 특히 약한 쌍대성 코프리비에이션에 대한 끼워넣기 조건을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 단순 복합체의 집합으로 풍부화된 소형 대칭 다중범주 카테고리 위에 Quillen 모델 구조를 수립할 수 있는가?
• RQ2 이 모델 구조는 어떻게 단순 복합체 카테고리에 대한 Bergner 모델 구조와 $S$-색상이 있는 작도에 대한 Berger-Moerdijk 모델 구조를 통합하는가?
• RQ3 이 풍부화된 설정에서 다중함수가 약한 동치, 피브레이션, 또는 코프리비에이션일 필요 충분 조건은 무엇인가?
• RQ4 단순 복합체로 풍부화된 다중범주의 호모토피 이론은 $(∞,1)$-작도의 호모토피 이론과 어떻게 관련이 있는가?

주요 결과

• 단순 복합체의 집합으로 풍부화된 소형 대칭 다중범주 카테고리 위에 코프리브리언트 생성 Quillen 모델 구조가 존재한다.
• 약한 동치는 $π_0$ 함자로 검출되며, 이는 푸시아웃을 보존하고 모델 구조에서 약한 동치를 반영한다.
• 모든 약한 쌍대성 코프리비에이션은 약한 동치이며, 약한 동치이자 피브레이션인 모든 피브레이션은 약한 쌍대성 피브레이션이다. 이는 2-중-3 성질을 만족한다.
• 소형 객체 방법과 재진입에 대한 닫힘을 통해 모델 구조가 구성되며, 생성 코프리비에이션과 약한 쌍대성 코프리비에이션은 $\bar{I}$ 및 $\bar{J}$를 따라 푸시아웃으로 정의된다.
• 푸시아웃 분해와 단계별 단순 복합체 사상 분석을 통해 약한 쌍대성 코프리비에이션과 피브레이션에 대한 끼워넣기 성질을 검증한다.
• 건설은 대칭 모나드 구조와 다중범주 작도의 $Σ_n$-등변성과 호환되며, 호모토피적 일관성을 보장한다.